for binary files we have no issue, for some string stuff we need fgetc and unget, but I think in total having custom buffering for that would have been a lot faster than all the hacks we have now.