ports/sysdeps/alpha/alphaev67
