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"
11