Since interrupts are enabled after having locked the
guard, the growth of the (interrupt) stack is restricted and
depends (a) on the maximum number of interrupt levels/
priorities and (b) on the stack consumption of each of the
maskable interrupt handlers. The maximal expansion of the
interrupt stack is fixed and can be computed/approximated
before run-time.