history_buf       302 src/dps8/dps8_prt.c     char   history_buf [42];
history_buf       472 src/dps8/dps8_prt.c   (void)memcpy (temp_buf, st -> history_buf, st -> history_buf_len);
history_buf       522 src/dps8/dps8_prt.c   if (total_len >= sizeof (st -> history_buf))
history_buf       524 src/dps8/dps8_prt.c       (void)memcpy (st -> history_buf, temp_buf + total_len - sizeof (st -> history_buf), sizeof (st -> history_buf));
history_buf       525 src/dps8/dps8_prt.c       st -> history_buf_len = sizeof (st -> history_buf);
history_buf       529 src/dps8/dps8_prt.c       (void)memcpy (st -> history_buf, temp_buf, total_len);