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