* If you want to pass arguments to the format, you can always write xbt_assert1(0,"fmt",args)
*/
void xbt_die (const char *msg) {
* If you want to pass arguments to the format, you can always write xbt_assert1(0,"fmt",args)
*/
void xbt_die (const char *msg) {