s_start          9645 src/dps8/dps8_ins.c            uint64_t s_start          = (uint64_t)((uint64_t)(startTime.ru_stime.tv_usec * 1000ULL) +
s_start          9652 src/dps8/dps8_ins.c            uint64_t s_delta          = s_stop - s_start;