Edit File: indent-default.stp
function __indent_timestamp() { return gettimeofday_us() }