MODULE TMEnum;
MODULE M EXPORT Color, Red, Green, Blue;
TYPE Color = (Red, Green, Blue);
END M;
VAR c : M.Color; ExitCode : INTEGER;
BEGIN
  c := M.Green;
  IF c = M.Green THEN ExitCode := 4 ELSE ExitCode := 0 END;
  CASE c OF
    M.Red : ExitCode := 0 |
    M.Green : ExitCode := ExitCode + 7 |
    M.Blue : ExitCode := 0
  END
END TMEnum.