A statement of the form:
TRY S_1 FINALLY S_2 END
executes statement S_1 and then statement S_2.
If the outcome of S_1 is normal, the TRY statement
is equivalent to S_1; S_2. If the outcome of
S_1 is an exception and the outcome of S_2 is normal,
the exception from S_1 is re-raised after S_2
is executed. If both outcomes are exceptions, the outcome of the
TRY is the exception from S_2.