pollution: setlinebuf
void setlinebuf(FILE *__stream); 

pollution: setbuffer
void setbuffer(FILE *__stream, char *__buffer, size_t __size); 

pollution: gets
char *gets(char *__s); 

pollution: clearerr_unlocked
void clearerr_unlocked(FILE *__stream); 

pollution: feof_unlocked
int feof_unlocked(FILE *__stream); 

pollution: ferror_unlocked
int ferror_unlocked(FILE *__stream); 

pollution: fileno_unlocked
int fileno_unlocked(FILE *__stream); 

pollution: fflush_unlocked
int fflush_unlocked(FILE *__stream); 

pollution: fgetc_unlocked
int fgetc_unlocked(FILE *__stream); 

pollution: fputc_unlocked
int fputc_unlocked(int __c, FILE *__stream); 

pollution: fread_unlocked
size_t fread_unlocked(void *__restrict __buffer, size_t __size, size_t __count, FILE *__restrict __stream); 

pollution: fwrite_unlocked
size_t fwrite_unlocked(const void *__restrict __buffer, size_t __size, size_t __count, FILE *__restrict __stream); 

pollution: fgets_unlocked
char *fgets_unlocked(char *__restrict __buffer, int __size, FILE *__restrict __stream); 

pollution: fputs_unlocked
int fputs_unlocked(const char *__restrict __buffer, FILE *__restrict __stream); 

pollution: fseeko64
int fseeko64(FILE *__stream, off64_t __offset, int __whence); 

pollution: ftello64
off64_t ftello64(FILE *__stream); 

pollution: fgetln
char *fgetln(FILE *__stream, size_t *__size); 

pollution: tempnam
char *tempnam(const char *__dir, const char *__pfx); 

pollution: read
cookie_read_function_t *read; 

pollution: write
cookie_write_function_t *write; 

pollution: seek
cookie_seek_function_t *seek; 

pollution: close
cookie_close_function_t *close; 

pollution: RENAME_EXCHANGE
#define RENAME_EXCHANGE (1 << 1)

pollution: P_tmpdir
#define P_tmpdir "/tmp"

pollution: FIXINC_WRAP_STDIO_H_STDIO_STDARG_H
#define FIXINC_WRAP_STDIO_H_STDIO_STDARG_H 1