Put64             128 crypto/ghash.cc   Put64(result, y_.low);
Put64             129 crypto/ghash.cc   Put64(result + 8, y_.hi);