pollution: va_list
typedef __gnuc_va_list va_list; 

pollution: vsyslog
__attribute__ ((__format__ (__printf__, 2, 0))) void vsyslog(int, const char*, va_list); 

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)