simgrid::xbt::Parmap<smx_actor_t>* BoostContext::parmap_ = nullptr;
uintptr_t BoostContext::threads_working_ = 0;
xbt_os_thread_key_t BoostContext::worker_id_key_;
simgrid::xbt::Parmap<smx_actor_t>* BoostContext::parmap_ = nullptr;
uintptr_t BoostContext::threads_working_ = 0;
xbt_os_thread_key_t BoostContext::worker_id_key_;