Timing now handled by Timing-annotation