#include <stdio.h>
#include <stddef.h>

extern int getline(FILE *fp, char *buf, size_t size);
/*
reads the next `line' from file fp and stores it as a null-terminated
string in buf[0..size-1] and returns the length of the line (not
counting the terminating null character). When getline reaches the end
of file without consuming a line, it returns EOF. If a line is longer
than size-1 characters, the excess characters are ignored.

It is a checked runtime error for fp or buf to be NULL or for size to
be 0.
*/