pollution: stream
void clearerr(FILE* stream); 

pollution: stream
int fclose(FILE* stream); 

pollution: stream
int feof(FILE* stream); 

pollution: stream
int ferror(FILE* stream); 

pollution: stream
int fflush(FILE* stream); 

pollution: stream
int fgetc(FILE* stream); 

pollution: stream
pollution: pos
int fgetpos(FILE* restrict stream, fpos_t* restrict pos); 

pollution: s
pollution: n
pollution: stream
char* fgets(char* restrict s, int n, FILE* restrict stream); 

pollution: filename
pollution: mode
FILE* fopen(const char* restrict filename, const char* restrict mode); 

pollution: stream
pollution: format
int fprintf(FILE* restrict stream, const char* restrict format, ...) __attribute__((__format__ (printf, 2, 3))); 

pollution: c
pollution: stream
int fputc(int c, FILE* stream); 

pollution: stream
int fputs(const char* restrict, FILE* restrict stream); 

pollution: ptr
pollution: size
pollution: nitems
pollution: stream
size_t fread(void* restrict ptr, size_t size, size_t nitems, FILE* restrict stream); 

pollution: filename
pollution: mode
pollution: stream
FILE* freopen(const char* restrict filename, const char *restrict mode, FILE* restrict stream); 

pollution: stream
pollution: format
int fscanf(FILE* restrict stream, const char* restrict format, ... ) __attribute__((__format__ (scanf, 2, 3))); 

pollution: stream
pollution: offset
pollution: whence
int fseek(FILE* stream, long offset, int whence); 

pollution: stream
pollution: pos
int fsetpos(FILE* stream, const fpos_t* pos); 

pollution: stream
long ftell(FILE* stream); 

pollution: ptr
pollution: size
pollution: nitems
pollution: stream
size_t fwrite(const void* restrict ptr, size_t size, size_t nitems, FILE* restrict stream); 

pollution: stream
int getc(FILE* stream); 

pollution: s
void perror(const char* s); 

pollution: format
int printf(const char* restrict format, ...) __attribute__((__format__ (printf, 1, 2))); 

pollution: c
pollution: stream
int putc(int c, FILE* stream); 

pollution: c
int putchar(int c); 

pollution: str
int puts(const char* str); 

pollution: path
int remove(const char* path); 

pollution: oldname
pollution: newname
int rename(const char* oldname, const char* newname); 

pollution: stream
void rewind(FILE* stream); 

pollution: stream
pollution: buf
void setbuf(FILE* restrict stream, char* restrict buf); 

pollution: stream
pollution: buf
pollution: type
pollution: size
int setvbuf(FILE* restrict stream, char* restrict buf, int type, size_t size); 

pollution: s
pollution: format
__attribute__((__warning__("sprintf() is dangerous, use snprintf()"))) int sprintf(char* restrict s, const char* restrict format, ...) __attribute__((__format__ (printf, 2, 3))); 

pollution: format
int scanf(const char* restrict format, ...) __attribute__((__format__ (scanf, 1, 2))); 

pollution: s
pollution: format
int sscanf(const char* restrict s, const char* restrict format, ...) __attribute__((__format__ (scanf, 2, 3))); 

pollution: c
pollution: stream
int ungetc(int c, FILE* stream); 

pollution: stream
pollution: format
pollution: ap
int vfprintf(FILE* restrict stream, const char* restrict format, __gnuc_va_list ap) __attribute__((__format__ (printf, 2, 0))); 

pollution: format
pollution: ap
int vprintf(const char* restrict format, __gnuc_va_list ap) __attribute__((__format__ (printf, 1, 0))); 

pollution: s
pollution: format
pollution: ap
__attribute__((__warning__("vsprintf() is dangerous, use vsnprintf()"))) int vsprintf(char* restrict s, const char* restrict format, __gnuc_va_list ap) __attribute__((__format__ (printf, 2, 0))); 

pollution: s
pollution: n
pollution: format
int snprintf(char* restrict s, size_t n, const char* restrict format, ...) __attribute__((__format__ (printf, 3, 4))); 

pollution: stream
pollution: format
pollution: arg
int vfscanf(FILE* restrict stream, const char* restrict format, __gnuc_va_list arg) __attribute__((__format__ (scanf, 2, 0))); 

pollution: format
pollution: arg
int vscanf(const char* restrict format, __gnuc_va_list arg) __attribute__((__format__ (scanf, 1, 0))); 

pollution: s
pollution: format
pollution: arg
int vsscanf(const char* restrict s, const char* restrict format, __gnuc_va_list arg) __attribute__((__format__ (scanf, 2, 0))); 

pollution: stream
int fileno(FILE* stream); 

pollution: file
void flockfile(FILE* file); 

pollution: fildes
pollution: mode
FILE* fdopen(int fildes, const char* mode); 

pollution: file
int ftrylockfile(FILE* file); 

pollution: file
void funlockfile(FILE* file); 

pollution: stream
int getc_unlocked(FILE* stream); 

pollution: c
pollution: stream
int putc_unlocked(int c, FILE* stream); 

pollution: c
int putchar_unlocked(int c); 

pollution: steam
int pclose(FILE* steam); 

pollution: command
pollution: mode
FILE* popen(const char* command, const char* mode); 

pollution: stream
pollution: offset
pollution: whence
int fseeko(FILE* stream, off_t offset, int whence); 

pollution: stream
off_t ftello(FILE* stream); 

pollution: fildes
pollution: format
int dprintf(int fildes, const char* restrict format, ...) __attribute__((__format__ (printf, 2, 3))); 

pollution: lineptr
pollution: n
pollution: delimiter
pollution: stream
ssize_t getdelim(char** restrict lineptr, size_t* restrict n, int delimiter, FILE* restrict stream); 

pollution: lineptr
pollution: n
pollution: stream
ssize_t getline(char** restrict lineptr, size_t* restrict n, FILE* restrict stream); 

pollution: oldfd
pollution: oldname
pollution: newfd
pollution: newname
int renameat(int oldfd, const char* oldname, int newfd, const char* newname); 

pollution: fildes
pollution: format
pollution: ap
int vdprintf(int fildes, const char* restrict format, __gnuc_va_list ap) __attribute__((__format__ (printf, 2, 0))); 

pollution: va_start
#define va_start(v,l) __builtin_va_start(v,l)

pollution: va_copy
#define va_copy(d,s) __builtin_va_copy(d,s)

pollution: va_arg
#define va_arg(v,l) __builtin_va_arg(v,l)

pollution: va_end
#define va_end(v) __builtin_va_end(v)