MODULE Main;

TYPE
  S = [ 0 .. 5];
  T = [ 5 .. 10 ];
  E = { Red, Green, Black, White };
  A = ARRAY [0..3] OF S;
  V = SET OF [0..511];

PROCEDURE P () =
  VAR
    r0 := 1.0;
    r1 := 0.0d+0;
    r2 := 0.0x+0;
    s : S := 4;
    s2 : S := 0;
    t : T := 7;
    e : E := E.White;
    e2 := E.Red;
    z : TEXT := "hello";
    zA : TEXT := NIL;
    zD : TEXT;
    z2 := NEW (REF INTEGER);
    zB : REF INTEGER := NIL;
    zE : REF INTEGER;
    z3 := NEW (OBJECT END);
    zC : OBJECT END := NIL;
    zF : OBJECT END;
    a := A { 1, 2, 3, 4 };
    v := V {1, 2, 3, 95};
    v2 := V {};
  BEGIN
    EVAL r0;
    EVAL r1;
    EVAL r2;
    EVAL s2;
    EVAL e;
    EVAL e2;
    EVAL z;
    EVAL zA;
    EVAL zD;
    EVAL z2;
    EVAL zB;
    EVAL zE;
    EVAL z3;
    EVAL zC;
    EVAL zF;
    EVAL a;
    EVAL s IN v;
    EVAL s IN V {t};
    EVAL v2;
  END P;

BEGIN
  EVAL P;
END Main.