1#define f32xmulf64x __hide_f32xmulf64x
2#define f32xmulf128 __hide_f32xmulf128
3#define f64mulf64x __hide_f64mulf64x
4#define f64mulf128 __hide_f64mulf128
5#include <float128_private.h>
6#undef f32xmulf64x
7#undef f32xmulf128
8#undef f64mulf64x
9#undef f64mulf128
10#include "../ldbl-128/s_dmull.c"
11