/* FIXME: better place? */
int asprintf (char **ptr, const char *fmt, /*args*/ ...) _XBT_GNUC_PRINTF(2,3);
int vasprintf (char **ptr, const char *fmt, va_list ap);
/* FIXME: better place? */
int asprintf (char **ptr, const char *fmt, /*args*/ ...) _XBT_GNUC_PRINTF(2,3);
int vasprintf (char **ptr, const char *fmt, va_list ap);