The unconditional GO TO statement simply produces a transfer of
control to a labelled executable statement elsewhere in the program
unit. Its general form is:
GO TO label
Note that control must not be transferred into an IF-block or a
DO-loop from outside it.