This allows to do more with the given exception afterward.
Users should call xbt_ex_free() themselves.
* Do not allow malloc(0) since that's not portable
This allows to do more with the given exception afterward.
Users should call xbt_ex_free() themselves.
* Do not allow malloc(0) since that's not portable