MODULE T;
VAR i : INTEGER;
BEGIN
  i[0] := 1
END T.