package Context is

   type Work_Acc is access procedure;
   pragma Convention (C, Work_Acc);

   function Execute_Work(Work : Work_Acc) return Integer;
   pragma export(C,Execute_Work, "execute_work");

   procedure Restore_Work;
   pragma export(C,Restore_Work, "restore_work");

end Context;