DummyTimer

Here are a number of profiling helper functions so we do not have to duplicate a lot of the glue code everywhere.