Stdio.FILE is a buffered version of Stdio.File , it inherits
Stdio.File and has most of the functionality of Stdio.File .
However, it has an input buffer that allows line-by-line input.
It also has support for automatic charset conversion for both input
and output (see Stdio.FILE()->set_charset() ).
Note
The output part of Stdio.FILE is currently not buffered.