(double) __attribute__((nothrow)) __attribute__((const)); extern unsigned int __builtin___count_leading_zero00(unsigned int)     __attribute__((nothrow)) __attribute__((const)); extern unsigned int __builtin___count_trailing_zero00(unsigned int)     __attribute__((nothrow)) __attribute__((const)); extern unsigned int __builtin___count_leading_zero00(unsigned long long)     __attribute__((nothrow)) __attribute__((const)); extern unsigned int __builtin___count_trailing_zero00(unsigned long long)     __attribute__((nothrow)) __attribute__((const)); 