package A is
	type A_T is tagged null record;
	procedure x ( v: in A_T );
	procedure y ( v: in A_T );
	procedure z ( v: in A_T'Class );
end A;