I have noticed that a checked run-time error skips the FINALLY clause in a
TRY-FINALLY in cm3. Amusingly the occurence of an exception that is not
handled _is_ a checked run-time error by itself. In "Programming with
Style - Introduction into programming with Modula-3" the authors mention
this behaviour and rate it as unsuitable. This is also my judgement in the
first moment - so what are the reasons to go that way?