1  #define f32addf64x __hide_f32addf64x
       2  #define f32addf128 __hide_f32addf128
       3  #include <float128_private.h>
       4  #undef f32addf64x
       5  #undef f32addf128
       6  #include "../ldbl-128/s_faddl.c"