simh_addr 4721 src/dps8/dps8_sys.c static void fprint_addr (FILE * stream, UNUSED DEVICE * dptr, t_addr simh_addr) simh_addr 4723 src/dps8/dps8_sys.c (void)fprintf(stream, "%06o", simh_addr);