Don't duplicate the dispatch loop just for RetC profiling