Temporary addition of some profiling code...