}
XBT_PUBLIC void sg_actor_set_stacksize(sg_actor_t actor, unsigned size);
-XBT_PUBLIC void sg_actor_exit();
+XBT_ATTRIB_NORETURN XBT_PUBLIC void sg_actor_exit();
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);