glibc/sysdeps/alpha/alphaev6/Implies