1  #define f32xaddf64x __hide_f32xaddf64x
       2  #define f32xaddf128 __hide_f32xaddf128
       3  #define f64addf64x __hide_f64addf64x
       4  #define f64addf128 __hide_f64addf128
       5  #include <float128_private.h>
       6  #undef f32xaddf64x
       7  #undef f32xaddf128
       8  #undef f64addf64x
       9  #undef f64addf128
      10  #include "../ldbl-128/s_daddl.c"