Should we always do that, or only when some kind of profiling is enabled?