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