package Renaming2_Pkg2 is
  type Root is private;
private
  type Root (D : Boolean := False) is record
    case D is
      when True => N : Natural;
      when False => null;
    end case;
  end record;
end Renaming2_Pkg2;
package Renaming2_Pkg2 is
  type Root is private;
private
  type Root (D : Boolean := False) is record
    case D is
      when True => N : Natural;
      when False => null;
    end case;
  end record;
end Renaming2_Pkg2;