1#define __docos __docos_fma4
2#define __dubcos __dubcos_fma4
3#define __dubsin __dubsin_fma4
4#define SECTION __attribute__ ((section (".text.fma4")))
5
6#include <sysdeps/ieee754/dbl-64/dosincos.c>
7