sim_debug_bits_hdr 10245 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,