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