MODULE TNoFld;
TYPE R = RECORD a : INTEGER END;
VAR p : R;
BEGIN p.b := 1
END TNoFld.