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