MODULE EEnumProg;
(* Enum literals reachable qualified (through a re-export) and
   unqualified (via FROM-import of the type).  Exit 42. *)
IMPORT EEnumRe;
FROM EEnumRe IMPORT Colour;
VAR a : Colour;
    ExitCode : INTEGER;
BEGIN
  a := EEnumRe.green;                 (* qualified, through re-export *)
  IF (a = green)                      (* unqualified, FROM-imported  *)
     AND (ORD(red) = 0) AND (ORD(green) = 1) AND (ORD(blue) = 2)
  THEN ExitCode := 42 ELSE ExitCode := 1 END
END EEnumProg.