MODULE RBadAsn;
TYPE R = RECORD x : INTEGER END;
VAR r : R; i : INTEGER;
BEGIN
  i := 1;
  r := i
END RBadAsn.