tocopy           1816 src/simh/linehistory.c     int tocopy = history_len;
tocopy           1825 src/simh/linehistory.c     if (len < tocopy)
tocopy           1829 src/simh/linehistory.c       for (j = 0; j < tocopy - len; j++)
tocopy           1834 src/simh/linehistory.c       tocopy = len;
tocopy           1840 src/simh/linehistory.c       history + ( history_len - tocopy ),
tocopy           1841 src/simh/linehistory.c       sizeof ( char * ) * tocopy);