MODULE Gap04FwdConstBound;
(* GAP gap04-fwd-const-bound: a VAR array bound names a CONST declared
   later.  Corpus: setconst3.
   EXPECT: undeclared identifier (the forward CONST). *)
VAR a : ARRAY [0..n] OF INTEGER;
CONST n = 3;
BEGIN a[0] := 0 END Gap04FwdConstBound.