extern "C" { class __FILE;
type FILE = __FILE;
type fpos_t = long;
fun remove
(char const* @ p_195) -> int @;
fun rename
(char const* @ p_196, char const* @ p_197) -> int @;
fun tmpfile
(void @ p_198) -> FILE* @;
fun tmpnam
(char* @ p_199) -> char* @;
fun fclose
(FILE* @ p_200) -> int @;
fun fflush
(FILE* @ p_201) -> int @;
fun fopen
(char const* @ p_202, char const* @ p_203) -> FILE* @;
fun freopen
(char const* @ p_204, char const* @ p_205, FILE* @ p_206) -> FILE* @;
fun setbuf
(FILE* @ p_207, char* @ p_208) -> void @;
fun setvbuf
(FILE* @ p_209, char* @ p_210, int @ p_211, size_t @ p_212) -> int @;
fun fprintf
(FILE* @ p_213, char const* @ p_214, ... @ ) -> int @;
fun fscanf
(FILE* @ p_215, char const* @ p_216, ... @ ) -> int @;
fun printf
(char const* @ p_217, ... @ ) -> int @;
fun scanf
(char const* @ p_218, ... @ ) -> int @;
fun sprintf
(char* @ p_219, char const* @ p_220, ... @ ) -> int @;
fun sscanf
(char const* @ p_221, char const* @ p_222, ... @ ) -> int @;
fun fgetc
(FILE* @ p_223) -> int @;
fun fgets
(char* @ p_224, int @ p_225, FILE* @ p_226) -> char* @;
fun fputc
(int @ p_227, FILE* @ p_228) -> int @;
fun fputs
(char const* @ p_229, FILE* @ p_230) -> int @;
fun getc
(FILE* @ p_231) -> int @;
fun putc
(int @ p_232, FILE* @ p_233) -> int @;
fun getchar
(void @ p_234) -> int @;
fun putchar
(int @ p_235) -> int @;
fun gets
(char* @ p_236) -> char* @;
fun puts
(char const* @ p_237) -> int @;
fun ungetc
(int @ p_238, FILE* @ p_239) -> int @;
fun fread
(void* @ p_240, size_t @ p_241, size_t @ p_242, FILE* @ p_243) -> size_t @;
fun fwrite
(void const* @ p_244, size_t @ p_245, size_t @ p_246, FILE* @ p_247) -> size_t @;
fun fgetpos
(FILE* @ p_248, fpos_t* @ p_249) -> int @;
fun fseek
(FILE* @ p_250, long @ p_251, int @ p_252) -> int @;
fun fsetpos
(FILE* @ p_253, fpos_t const* @ p_254) -> int @;
fun ftell
(FILE* @ p_255) -> long @;
fun rewind
(FILE* @ p_256) -> void @;
fun clearerr
(FILE* @ p_257) -> void @;
fun feof
(FILE* @ p_258) -> int @;
fun ferror
(FILE* @ p_259) -> int @;
fun perror
(char const* @ p_260) -> void @;
type off_t = long;
fun fseeko
(FILE* @ p_261, off_t @ p_262, int @ p_263) -> int @;
fun ftello
(FILE* @ p_264) -> off_t @; }