M2compiler-V2/tests/t_bad_caselbl.mod

MODULE TBadLabel;
VAR ExitCode : INTEGER;
    i, j : INTEGER;
BEGIN
  i := 1; j := 2;
  CASE i OF
    j: i := 3
  ELSE i := 4
  END;
  ExitCode := i
END TBadLabel.