MODULE Gap04FwdConstBound;
(* NOT legal Modula-2: a VAR array bound names `n` before its CONST
   declaration.  Declaration before use is required; V3 correctly
   rejects it.  Class: decl-order (gm2 leniency).
   Corpus: setconst3.
   V3: undeclared identifier. *)
VAR a : ARRAY [0..n] OF INTEGER;
CONST n = 3;
BEGIN a[0] := 0 END Gap04FwdConstBound.