package raise_from_pure is
   pragma Pure;
   function Raise_CE_If_0 (P : Integer) return Integer;
end;