remainderl
__weak_reference(remainder, remainderl);
__weak_reference(remainderl, remainderf128);
long double remainderl(long double, long double);
ATF_CHECK(isnan(remainderl(x, y)));
rem = remainderl(x, y);