xbt_die("%s failed with error code %d, which is not an allowed exception. Please fix me.",fun,res); \
} else if (res == MSG_HOST_FAILURE) { \
jxbt_throw_host_failure(env, detail); \
xbt_die("%s failed with error code %d, which is not an allowed exception. Please fix me.",fun,res); \
} else if (res == MSG_HOST_FAILURE) { \
jxbt_throw_host_failure(env, detail); \