void smx_ctx_sysv_runall(xbt_dynar_t processes);
void smx_ctx_sysv_resume_parallel(smx_process_t new_context);
void smx_ctx_sysv_runall_parallel(xbt_dynar_t processes);
void smx_ctx_sysv_runall(xbt_dynar_t processes);
void smx_ctx_sysv_resume_parallel(smx_process_t new_context);
void smx_ctx_sysv_runall_parallel(xbt_dynar_t processes);