with Renaming8_Pkg2; use Renaming8_Pkg2;

package Renaming8_Pkg1 is

  B: Boolean renames F.E(1);

end Renaming8_Pkg1;