HASH_K2
uint64_t mul = HASH_K2 + 64;
uint64_t d = w3 * HASH_K2;
a + rotate(b + HASH_K2, 18) + c, mul));