// filebuf.h RHS 9/1/90

int filebuf_init(void);
int filebuf_open(char *filename, int strip);
void filebuf_destruct(void);
void filebuf_seekline(unsigned line);
char far *filebuf_nextline(unsigned *len);
unsigned filebuf_numlines(void);
unsigned filebuf_longestline(void);
BOOL filebuf_fileisopen(void);
void filebuf_strip(int strip);