Taking out the tmProfile and friends related timing variables, looking forward to using general-purpose abstract profiling instrumenter functions to perform this sort of task later