with Remote_Global;
use Remote_Global;
package body Except_Pack_2 is -- compare to E000001, diff is propegation

    procedure Proc_1 (Switch : Boolean) is
    begin
        if Switch then
            Global := Global + 1;
            Remote;
            raise My_Exception;
        else
            Global := Global + 1;
            Remote;
            return;
        end if;
    exception
        when Program_Error =>
            Proc_1 (Switch);
    end Proc_1;

end Except_Pack_2;