fprint_addr       117 src/dps8/dps8_sys.c static void fprint_addr(FILE *stream, DEVICE *dptr, t_addr addr);
fprint_addr      4348 src/dps8/dps8_sys.c   sim_vm_fprint_addr = fprint_addr;