williamr@0: _stdio_file.h