This is a translation of the fast SML version. Additionally, we get
some good gains by using Word32. (I wonder if this will apply
elsewhere?) The -optc-O2 helps as well (another thing to keep in mind
for other entries).