1#define __mplog __mplog_fma4
2#define __add __add_fma4
3#define __mpexp __mpexp_fma4
4#define __mul __mul_fma4
5#define __sub __sub_fma4
6#define SECTION __attribute__ ((section (".text.fma4")))
7
8#include <sysdeps/ieee754/dbl-64/mplog.c>
9