— Execute code with interrupts optionally enabled.
Executes the given body with all interrupts enabled. Since
interrupts are normally enabled, this macro only makes sense if
there is an outer
interrupts are not enabled if any outer
mp:without-interrupts is not accompanied by