pollution: memcmp
extern int memcmp(const void *, const void *, size_t); 

pollution: memcpy
extern void *memcpy(void *restrict, const void *restrict, size_t); 

pollution: memmove
extern void *memmove(void *, const void *, size_t); 

pollution: memset
extern void *memset(void *, int, size_t); 

pollution: strcat
extern char *strcat(char *restrict, const char *restrict); 

pollution: strcmp
extern int strcmp(const char *, const char *); 

pollution: strcpy
extern char *strcpy(char *restrict, const char *restrict); 

pollution: strcoll
extern int strcoll(const char *, const char *); 

pollution: strcspn
extern size_t strcspn(const char *, const char *); 

pollution: strerror
extern char *strerror(int); 

pollution: strlen
extern size_t strlen(const char *); 

pollution: strncat
extern char *strncat(char *restrict, const char *restrict, size_t); 

pollution: strncmp
extern int strncmp(const char *, const char *, size_t); 

pollution: strncpy
extern char *strncpy(char *restrict, const char *restrict, size_t); 

pollution: strspn
extern size_t strspn(const char *, const char *); 

pollution: strtok
extern char *strtok(char *restrict, const char *restrict); 

pollution: strxfrm
extern size_t strxfrm(char *restrict, const char *restrict, size_t); 

pollution: memchr
extern void *memchr(const void *, int, size_t); 

pollution: strchr
extern char *strchr(const char *, int); 

pollution: strpbrk
extern char *strpbrk(const char *, const char *); 

pollution: strrchr
extern char *strrchr(const char *, int); 

pollution: strstr
extern char *strstr(const char *, const char *); 

pollution: strtok_r
extern char *strtok_r(char *restrict, const char *restrict, char **restrict); 

pollution: memccpy
extern void *memccpy(void *restrict, const void *restrict, int, size_t); 

pollution: bcmp
extern int bcmp(const void *, const void *, size_t); 

pollution: bcopy
extern void bcopy(const void *, void *, size_t); 

pollution: bzero
extern void bzero(void *, size_t); 

pollution: index
extern char *index(const char *, int); 

pollution: rindex
extern char *rindex(const char *, int); 

pollution: NULL
#define NULL 0L