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