XOR64_INT         302 siphash.c          XOR64_INT(state->v[2], 0xff);
XOR64_INT         473 siphash.c          XOR64_INT(v2, 0xff);