extern __inline int __finite (double __value) { return 0; } extern __typeof (__finite) __finite __asm__ ("" "__GI___finite");