elapsed_time     9850 src/dps8/dps8_ins.c            char elapsed_time[64];
elapsed_time     9855 src/dps8/dps8_ins.c            strftime(elapsed_time, sizeof(elapsed_time), "%H:%M:%S", &tm);
elapsed_time     9858 src/dps8/dps8_ins.c                        elapsed_time, (unsigned long long)u_milliseconds, (unsigned long long)u_microseconds);
elapsed_time     9863 src/dps8/dps8_ins.c            strftime(elapsed_time, sizeof(elapsed_time), "%H:%M:%S", &tm);
elapsed_time     9866 src/dps8/dps8_ins.c                        elapsed_time, (unsigned long long)s_milliseconds, (unsigned long long)s_microseconds);