type Rec is new A with record A, B : Integer; end record;
