extern "C" {
type __va_list = void*;
type ssize_t = int;
class __FILE;
type __longlong_t = long long;
type FILE = __FILE;
type size_t = unsigned int;
type fpos_t = long;
fun remove(char const*@ s) -> int@;
fun rename(char const*@, char const*@) -> int@;
fun tmpfile() -> 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 vfprintf(FILE*, char const*, __va_list) -> int@;
fun vprintf(char const*, __va_list) -> int@;
fopen64(char const*, char const*) -> FILE*@;
fun freopen64(char const*, char const*, FILE*) -> FILE*@;
fun tmpfile64(void) -> FILE*@;
fun fgetpos64(FILE*, fpos64_t*) -> int@;
fun fsetpos64(FILE*, fpos64_t const*) -> int@;
fun fseeko64(FILE*, off64_t, int) -> int@;
fun ftello64(FILE*) -> off64_t@;
  */
}