tocopy           1839 src/simh/linehistory.c     int tocopy = history_len;
tocopy           1848 src/simh/linehistory.c     if (len < tocopy)
tocopy           1852 src/simh/linehistory.c       for (j = 0; j < tocopy - len; j++)
tocopy           1857 src/simh/linehistory.c       tocopy = len;
tocopy           1863 src/simh/linehistory.c       history + ( history_len - tocopy ),
tocopy           1864 src/simh/linehistory.c       sizeof ( char * ) * tocopy);