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

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

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

  return 0
end

  return f()
end.