Some annotations for profiling