sim_debug_bits_hdr 9630 src/simh/scp.c sim_debug_bits_hdr(dbits, dptr, NULL, bitdefs, before, after, terminate); sim_debug_bits_hdr 201 src/simh/scp.h void sim_debug_bits_hdr (uint32 dbits, DEVICE* dptr, const char *header,