Supply with-ed package name hidden by a declaration, in Ada