typedef void (*smx_pfn_context_runall_t) (xbt_dynar_t processes);
typedef smx_context_t (*smx_pfn_context_self_t) (void);
typedef void* (*smx_pfn_context_get_data_t) (smx_context_t context);
typedef void (*smx_pfn_context_runall_t) (xbt_dynar_t processes);
typedef smx_context_t (*smx_pfn_context_self_t) (void);
typedef void* (*smx_pfn_context_get_data_t) (smx_context_t context);