cpu_ftime        5223 src/dps8/dps8_cpu.c   char cpu_ftime[64] = {0};
cpu_ftime        5245 src/dps8/dps8_cpu.c     strftime(cpu_ftime, sizeof(cpu_ftime), "%H:%M:%S", &cpu_tm);
cpu_ftime        5258 src/dps8/dps8_cpu.c     sim_msg ("\r|  CPU Time Used %11s.%03d  |\r\n", cpu_ftime, cpu_millis);