-/* 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);