char *fetch_line ( char *buf, int buflen, FILE *stream, int *lineno );
char *trim_line ( char *s );