Adding timers for profiling in main.c