Up to `with-enabled-interrupts'.
Up to the `Time' section.