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