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