stop_timing2
stop_timing2(ttl, us2 - us1, "instruction overhead:");
int stop_timing2(long long count, long long us, const char *ctl, ...);