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