#define __add __add_avx

#define __mul __mul_avx

#define __sqr __sqr_avx

#define __sub __sub_avx

#define __dbl_mp __dbl_mp_avx

#define __dvd __dvd_avx

#define NO___CPY 1

#define NO___MP_DBL 1

#define NO___ACR 1

#define NO__CONST 1

#define SECTION __attribute__ ((section (".text.avx")))

#include <sysdeps/ieee754/dbl-64/mpa.c>