pollution: finite
int finite(double); 

pollution: gamma
double gamma(double); 

pollution: scalb
double scalb(double, double); 

pollution: gamma_r
double gamma_r(double, int *); 

pollution: lgamma_r
double lgamma_r(double, int *); 

pollution: gammaf_r
float gammaf_r(float, int *); 

pollution: lgammaf_r
float lgammaf_r(float, int *); 

pollution: RE_DUP_MAX
#define RE_DUP_MAX 255

pollution: CHAR_BIT
#define CHAR_BIT 8

pollution: NL_NMAX
#define NL_NMAX 1

pollution: SHRT_MAX
#define SHRT_MAX 0x7fff

pollution: PIPE_BUF
#define PIPE_BUF 512

pollution: SHRT_MIN
#define SHRT_MIN (-0x7fff-1)

pollution: ARG_MAX
#define ARG_MAX (256 * 1024)

pollution: MAXFLOAT
#define MAXFLOAT ((float)3.40282346638528860e+38)

pollution: LINK_MAX
#define LINK_MAX 32767

pollution: PATH_MAX
#define PATH_MAX 1024

pollution: NAME_MAX
#define NAME_MAX 511

pollution: SCHAR_MAX
#define SCHAR_MAX 0x7f

pollution: NZERO
#define NZERO 20

pollution: SCHAR_MIN
#define SCHAR_MIN (-0x7f-1)

pollution: COLL_WEIGHTS_MAX
#define COLL_WEIGHTS_MAX 2

pollution: UID_MAX
#define UID_MAX 2147483647U

pollution: TMP_MAX
#define TMP_MAX 308915776

pollution: DBL_MAX
#define DBL_MAX __DBL_MAX__

pollution: BC_STRING_MAX
#define BC_STRING_MAX INT_MAX

pollution: MAX_INPUT
#define MAX_INPUT 255

pollution: PTHREAD_THREADS_MAX
#define PTHREAD_THREADS_MAX _POSIX_THREAD_THREADS_MAX

pollution: SSIZE_MAX
#define SSIZE_MAX LONG_MAX

pollution: LONG_MAX
#define LONG_MAX 0x7fffffffffffffffL

pollution: GETENTROPY_MAX
#define GETENTROPY_MAX 256

pollution: NGROUPS_MAX
#define NGROUPS_MAX 16

pollution: LONG_BIT
#define LONG_BIT 64

pollution: NL_LANGMAX
#define NL_LANGMAX 14

pollution: LONG_MIN
#define LONG_MIN (-0x7fffffffffffffffL-1)

pollution: FLT_MIN
#define FLT_MIN __FLT_MIN__

pollution: GID_MAX
#define GID_MAX 2147483647U

pollution: BC_DIM_MAX
#define BC_DIM_MAX 65535

pollution: NL_SETMAX
#define NL_SETMAX 255

pollution: CHAR_MAX
#define CHAR_MAX SCHAR_MAX

pollution: NL_ARGMAX
#define NL_ARGMAX 9

pollution: ULONG_MAX
#define ULONG_MAX 0xffffffffffffffffUL

pollution: LOGIN_NAME_MAX
#define LOGIN_NAME_MAX 17

pollution: CHAR_MIN
#define CHAR_MIN SCHAR_MIN

pollution: MAX_CANON
#define MAX_CANON 255

pollution: LINE_MAX
#define LINE_MAX 2048

pollution: NL_TEXTMAX
#define NL_TEXTMAX 2048

pollution: NL_MSGMAX
#define NL_MSGMAX 32767

pollution: FLT_DIG
#define FLT_DIG __FLT_DIG__

pollution: USHRT_MAX
#define USHRT_MAX 0xffff

pollution: WORD_BIT
#define WORD_BIT 32

pollution: PTHREAD_STACK_MIN
#define PTHREAD_STACK_MIN 4096

pollution: UCHAR_MAX
#define UCHAR_MAX 0xff

pollution: INT_MAX
#define INT_MAX 0x7fffffff

pollution: ULLONG_MAX
#define ULLONG_MAX 0xffffffffffffffffULL

pollution: PTHREAD_DESTRUCTOR_ITERATIONS
#define PTHREAD_DESTRUCTOR_ITERATIONS _POSIX_THREAD_DESTRUCTOR_ITERATIONS

pollution: DBL_MIN
#define DBL_MIN __DBL_MIN__

pollution: EXPR_NEST_MAX
#define EXPR_NEST_MAX 32

pollution: INT_MIN
#define INT_MIN (-0x7fffffff-1)

pollution: UINT_MAX
#define UINT_MAX 0xffffffffU

pollution: LLONG_MAX
#define LLONG_MAX 0x7fffffffffffffffLL

pollution: LLONG_MIN
#define LLONG_MIN (-0x7fffffffffffffffLL-1)

pollution: BC_SCALE_MAX
#define BC_SCALE_MAX INT_MAX

pollution: IOV_MAX
#define IOV_MAX 1024

pollution: CHARCLASS_NAME_MAX
#define CHARCLASS_NAME_MAX 14

pollution: OPEN_MAX
#define OPEN_MAX 128

pollution: CHILD_MAX
#define CHILD_MAX 160

pollution: PTHREAD_KEYS_MAX
#define PTHREAD_KEYS_MAX 256

pollution: PASS_MAX
#define PASS_MAX 128

pollution: FLT_MAX
#define FLT_MAX __FLT_MAX__

pollution: BC_BASE_MAX
#define BC_BASE_MAX INT_MAX

pollution: MB_LEN_MAX
#define MB_LEN_MAX 32