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