MODULE Main;
(* spurious '..' in array initializer *)

VAR a := ARRAY OF INTEGER { 1, 2, 3, .. };
BEGIN
END Main.