Listing:

    1  MODULE TBadLabel;
    2  VAR ExitCode : INTEGER;
    3      i, j : INTEGER;
    4  BEGIN
    5    i := 1; j := 2;
    6    CASE i OF
    7      j: i := 3
*****      ^ not supported in this phase
    8    ELSE i := 4
    9    END;
   10    ExitCode := i
   11  END TBadLabel.

    1 error