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