package Private1 is
   type T is private;
private
   type T is new Boolean;
end Private1;