tocopy           1821 src/simh/linehistory.c     int tocopy = history_len;
tocopy           1830 src/simh/linehistory.c     if (len < tocopy)
tocopy           1834 src/simh/linehistory.c       for (j = 0; j < tocopy - len; j++)
tocopy           1839 src/simh/linehistory.c       tocopy = len;
tocopy           1845 src/simh/linehistory.c       history + ( history_len - tocopy ),
tocopy           1846 src/simh/linehistory.c       sizeof ( char * ) * tocopy);