gauge: a tiny time profiler.