#define f32addf64x __hide_f32addf64x
#define f32addf128 __hide_f32addf128
#include <float128_private.h>
#undef f32addf64x
#undef f32addf128
#include "../ldbl-128/s_faddl.c"