(* Generated by SimpleM backend *)
MODULE TFld;
VAR
  x : INTEGER;
BEGIN
  x.y := 1
END TFld.