function __indent_timestamp() { return gettimeofday_us() }