type
  B = record
    x: Int
  end
  R = record(B)
    y: Int
  end

var
  x: ^B := nil
  y: ^R := nil

begin
  x := y;
  return 0
end.