1 2 3 4 5
package raise_from_pure is pragma Pure; function Raise_CE_If_0 (P : Integer) return Integer; end;