1#define __halfulp __halfulp_fma4
2#define SECTION __attribute__ ((section (".text.fma4")))
3
4#include <sysdeps/ieee754/dbl-64/halfulp.c>
5