I should warn you that the Specmarks were not run on NetBSD or with
gcc, so (1) both intel and alpha numbers are likely to be lower with
gcc and (2) to the extent that one gcc is better, probably the x86 one,
the same benchmark run on NetBSD would be skewed somewhat.