An API and implementation for recording timings and measurements