/* See LICENSE file for copyright and license details. */
char *afgets(char **, size_t *, FILE *);
void concat(FILE *, const char *, FILE *, const char *);