Return statements in the sequence_of_statements
attached to the finally that would cause control
to be transferred outside the finally part are forbidden.
Goto & exit where the target is outside of the finally’s sequence_of_statements
are forbidden