XBT_PUBLIC void sg_actor_on_exit(void_f_int_pvoid_t fun, void* data);
XBT_PUBLIC aid_t sg_actor_get_pid(const_sg_actor_t actor);
XBT_PUBLIC void sg_actor_on_exit(void_f_int_pvoid_t fun, void* data);
XBT_PUBLIC aid_t sg_actor_get_pid(const_sg_actor_t actor);