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