MODULE RBadField;
TYPE R = RECORD x : INTEGER END;
VAR r : R;
BEGIN
  r.z := 1
END RBadField.