package P is
   X : Integer; -- Allocated in the result the package elaboration
end P;