elapsed_time     9668 src/dps8/dps8_ins.c            char elapsed_time[64];
elapsed_time     9673 src/dps8/dps8_ins.c            strftime(elapsed_time, sizeof(elapsed_time), "%H:%M:%S", &tm);
elapsed_time     9676 src/dps8/dps8_ins.c                        elapsed_time, (unsigned long long)u_milliseconds, (unsigned long long)u_microseconds);
elapsed_time     9681 src/dps8/dps8_ins.c            strftime(elapsed_time, sizeof(elapsed_time), "%H:%M:%S", &tm);
elapsed_time     9684 src/dps8/dps8_ins.c                        elapsed_time, (unsigned long long)s_milliseconds, (unsigned long long)s_microseconds);