typedef                                                            struct __FILE
	FILE;

/** buffered I/O stream **/

/***
is used to hold information about buffered input and output streams. The
structure holds information including the current file position indicator,
a pointer to its buffer, an error indicator, and an end-of-file indicator.
No standard defines the members of THIS(). User programs should not attempt
to access or modify its members directly.
***/

/*
STDC(1)
*/