XBT_PUBLIC(unsigned int) SIMIX_req_sem_acquire_any(xbt_dynar_t sems);
XBT_PUBLIC(int) SIMIX_req_sem_get_capacity(smx_sem_t sem);
+/* functions to let the state machine context factory mess with simix flow */
+XBT_PUBLIC(void*) SIMIX_request_get_result(int id);
+XBT_PUBLIC(int) SIMIX_request_last_id(void);
+
SG_END_DECL()
#endif /* _SIMIX_SIMIX_H */