function __time_value () { return gettimeofday_us () }