MODULE Main; TYPE IntStar = ARRAY OF INTEGER; CONST funny = IntStar {1, 2, 3}; VAR x : INTEGER; BEGIN x := funny [1]; END Main.