package Edif is
   pragma Pure (Edif);
end Edif;