with text_io; use text_io; package body B is procedure x ( v: in B_T ) is begin put_line("B"); end; end B;