/*  readline.h    by bill kendrick  kendrick@zippy.sonoma.edu  http://zippy.sonoma.edu/kendrick/    reads a line using fgets*/#include <stdio.h>void readline(FILE * fi, char * buf);