Actually, this is a bit inconvenient with code that is written for normal stdio (such as the lua IO lib that I've been working on getting running under chdk). Since the code uses a FILE * (not FILE by itself), you can't just do a simple #define or typedef (no matter what you do, it will still have the *), and it also gets compared to NULL, which typically has a pointer type.
Is there a reason that an int should be used instead of some opaque pointer type, or is it just historical ?
It seems to me if we are going to make this use the same names as stdio (rather than Fut_) it should behave like stdio as much as possible.
edit:
I'd also be interested to know the difference between the Fut API, Fstream_* and regular stdio functions that appear to exist in the firmware.
