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