tim_t 10210 src/simh/scp.c char tim_t[32] = ""; tim_t 10222 src/simh/scp.c (void)sprintf(tim_t, "%02d:%02d:%02d.%03ld ", tim_t 10229 src/simh/scp.c (void)sprintf(tim_t, "%d.%03ld ", tim_t 10245 src/simh/scp.c tim_t, tim_a, sim_gtime(), pc_s,