tocopy           1828 src/simh/linehistory.c     int tocopy = history_len;
tocopy           1837 src/simh/linehistory.c     if (len < tocopy)
tocopy           1841 src/simh/linehistory.c       for (j = 0; j < tocopy - len; j++)
tocopy           1846 src/simh/linehistory.c       tocopy = len;
tocopy           1852 src/simh/linehistory.c       history + ( history_len - tocopy ),
tocopy           1853 src/simh/linehistory.c       sizeof ( char * ) * tocopy);