with text_io; use text_io;
package body A is
	procedure x ( v: in A_T ) is begin put_line("A"); end;
	procedure y ( v: in A_T ) is begin x(v); end;
	procedure z ( v: in A_T'Class ) is begin x(v); end;
end A;