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

proc f()
var
  r: R
begin
  r.x := 3u;
  r.y := 2u;

  assert(r.x = 3u & r.y = 2u)
return

begin
  f()
end.