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