MODULE Main;

TYPE T = ARRAY [0..2] OF BOOLEAN;

CONST c = T {TRUE, FALSE, TRUE}; 

PROCEDURE Foo () =
  VAR  x := c;
  BEGIN
    EVAL x;
  END Foo;

BEGIN
  Foo ();
END Main.