- char stack[CONTEXT_STACK_SIZE]; /* the thread stack size */
-} s_smx_ctx_sysv_t, *smx_ctx_sysv_t;smx_context_t
+ char stack[0]; /* the thread stack (must remain the last element of the structure) */
+} s_smx_ctx_sysv_t, *smx_ctx_sysv_t;
+
+smx_ctx_sysv_t maestro_context;
+
+void SIMIX_ctx_sysv_factory_init(smx_context_factory_t *factory);
+int smx_ctx_sysv_factory_finalize(smx_context_factory_t *factory);
+
+smx_context_t