package body P is
   -- The implementation of P, invisible to anybody
   procedure W (X : in out T); -- Operation used only internally
end P;