Stdio.File: Support buffering in read(). Stdio.File()->read() now reads from the input buffer if there is one, and then from the actual fd.