M2compiler-V3/compiler/tests/t_gotobad.mod

MODULE TGotoBad;
(* A GOTO to a label that is not declared in the same procedure/body. *)
VAR ExitCode : INTEGER;
BEGIN
  GOTO nowhere;
  ExitCode := 0
END TGotoBad.