extern int ieee754_rem_pio2l (long double x, long double *y);
extern long double kernel_sinl (long double x, long double y, int iy);
extern int ieee754_rem_pio2l (long double x, long double *y);
extern long double kernel_sinl (long double x, long double y, int iy);