#define jxbt_check_res(fun, res, allowed_exceptions, detail) do {\
if (res != MSG_OK && res | allowed_exceptions) { \
- xbt_die(bprintf("%s failed with error code %d, which is not an allowed exception. Please fix me.",fun,res)); \
+ 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); \
} else if (res == MSG_TRANSFER_FAILURE) { \