+/* Our own implementation of getline, mainly useful on the platforms not enjoying this function */
+#include <stdio.h> /* FILE */
+#include <stdlib.h> /* size_t, ssize_t */
+XBT_PUBLIC(ssize_t) xbt_getline(char **lineptr, size_t * n, FILE * stream);
+