debug_bstates 10175 src/simh/scp.c const char* debug_bstates = "01_^"; debug_bstates 10265 src/simh/scp.c (void)Fprintf(stream, "%s%c ", bitdefs[i].name, debug_bstates[off]);