In this case a fallback main() function would repeatedly invoke loop() & the WDR opcode. Maybe it'd also invoke a init() function to be run after all other initialization.
Maybe the setup routine (if there's finalizers to call) would configure abort() to run when this watchdog timer fires, whilst abort() could clear that configuration in case any of the finalizers take too long.
Or +oneshot could tell our runtime to power-off when main() ends, via a specially-configured SLEEP opcode.
3/3 Fin!
