execution: UNTESTED
Cannot be tested as DELAYTIMER_MAX is too large.
DELAYTIMER_MAX is ffffffffffffffff