in Java for now, but after the java overhaul, it will get cleaned out)
*/
static xbt_running_ctx_t ctx = XBT_RUNNING_CTX_INITIALIZER;
in Java for now, but after the java overhaul, it will get cleaned out)
*/
static xbt_running_ctx_t ctx = XBT_RUNNING_CTX_INITIALIZER;