1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
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.