tim_t            10271 src/simh/scp.c char tim_t[32] = "";
tim_t            10283 src/simh/scp.c         (void)sprintf(tim_t, "%02d:%02d:%02d.%03ld ",
tim_t            10290 src/simh/scp.c         (void)sprintf(tim_t, "%d.%03ld ",
tim_t            10306 src/simh/scp.c               tim_t, tim_a, sim_gtime(), pc_s,