mini-profiler: a minimalistic profiler