MODULE T;
VAR i : INTEGER;
BEGIN
  i^ := 1
END T.