with A; use A;
package B is
	type B_T is new A_T with null record;
	procedure x ( v: in B_T );
end B;