MODULE Main;

VAR 
  v2 := ARRAY [0..BITSIZE(v2)] OF INTEGER {1,..};

BEGIN
END Main.