tim_t            9531 src/simh/scp.c char tim_t[32] = "";
tim_t            9543 src/simh/scp.c         sprintf(tim_t, "%02d:%02d:%02d.%03ld ",
tim_t            9550 src/simh/scp.c         sprintf(tim_t, "%d.%03ld ",
tim_t            9565 src/simh/scp.c sprintf(debug_line_prefix, "DBG(%s%s%.0f%s)%s> %s %s: ", tim_t, tim_a, sim_gtime(), pc_s,  "", dptr->name, debug_type);