MODULE Main; VAR v3 := ARRAY [0..4] OF [0..BITSIZE(v3)] {0,..}; BEGIN END Main.