/* buffer to hold stream pointers to open files */
	extern FILE *fbuf[] ;
