#line 1 "-" #line 1 "g_stdio.g" extern "C" { class __FILE; type FILE = struct __FILE; type fpos_t = long; fun remove(char const*@) -> int@; fun rename(char const*@, char const*@) -> int@; fun tmpfile(void@) -> FILE*@; fun tmpnam(char*@) -> char*@; fun fclose(FILE*@) -> int@; fun fflush(FILE*@) -> int@; fun fopen(char const*@, char const*@) -> FILE*@; fun freopen(char const*@, char const*@, FILE*@) -> FILE*@; fun setbuf(FILE*@, char*@); fun setvbuf(FILE*@, char*@, int@, size_t@) -> int@; fun fprintf(FILE*@, char const*@, ...@) -> int@; fun fscanf(FILE*@, char const*@, ...@) -> int@; fun printf(char const*@, ...@) -> int@; fun scanf(char const*@, ...@) -> int@; fun sprintf(char*@, char const*@, ...@) -> int@; fun sscanf(char const*@, char const*@, ...@) -> int@; fun fgetc(FILE*@) -> int@; fun fgets(char*@, int@, FILE*@) -> char*@; fun fputc(int@, FILE*@) -> int@; fun fputs(char const*@, FILE*@) -> int@; fun getc(FILE*@) -> int@; fun putc(int@, FILE*@) -> int@; fun getchar(void@) -> int@; fun putchar(int@) -> int@; fun gets(char*@) -> char*@; fun puts(char const*@) -> int@; fun ungetc(int@, FILE*@) -> int@; fun fread(void*@, size_t@, size_t@, FILE*@) -> size_t@; fun fwrite(void const*@, size_t@, size_t@, FILE*@) -> size_t@; fun fgetpos(FILE*@, fpos_t*@) -> int@; fun fseek(FILE*@, long@, int@) -> int@; fun fsetpos(FILE*@, fpos_t const*@) -> int@; fun ftell(FILE*@) -> long@; fun rewind(FILE*@); fun clearerr(FILE*@); fun feof(FILE*@) -> int@; fun ferror(FILE*@) -> int@; fun perror(char const*@); type off_t = long; fun fseeko(FILE*@, off_t@, int@) -> int@; fun ftello(FILE*@) -> off_t@; }