1  #define f32xdivf64x __hide_f32xdivf64x
       2  #define f32xdivf128 __hide_f32xdivf128
       3  #define f64divf64x __hide_f64divf64x
       4  #define f64divf128 __hide_f64divf128
       5  #include <float128_private.h>
       6  #undef f32xdivf64x
       7  #undef f32xdivf128
       8  #undef f64divf64x
       9  #undef f64divf128
      10  #include "../ldbl-128/s_ddivl.c"