MODULE TFld;
VAR x : INTEGER;
BEGIN x.y := 1
END TFld.