tic/toc profiling via extern