#include <stdio.h> /* FILE* */
XBT_PUBLIC(long) getline(char **lineptr, size_t * n, FILE * stream);
#else
#include <stdio.h> /* FILE* */
XBT_PUBLIC(long) getline(char **lineptr, size_t * n, FILE * stream);
#else
XBT_PUBLIC(int) vasprintf(char **ptr, const char *fmt, va_list ap);
#endif
/** @brief print to allocated string
XBT_PUBLIC(int) vasprintf(char **ptr, const char *fmt, va_list ap);
#endif
/** @brief print to allocated string