XBT_INLINE int SIMIX_context_get_parallel_threshold(void);
XBT_INLINE void SIMIX_context_set_parallel_threshold(int threshold);
XBT_INLINE e_xbt_parmap_mode_t SIMIX_context_get_parallel_mode(void);
XBT_INLINE int SIMIX_context_get_parallel_threshold(void);
XBT_INLINE void SIMIX_context_set_parallel_threshold(int threshold);
XBT_INLINE e_xbt_parmap_mode_t SIMIX_context_get_parallel_mode(void);