type
  B = record
    x: Int
  end
  CB = const B
  D = record(CB)
    y: Int
  end

proc f()
var
  d: D
begin
  d.x := 1;
  d.y := 2
return

end.