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

var
  x: ^B
  y: ^R

begin
  x := y
end.