glibc/ports/sysdeps/alpha/alphaev6/Implies