ADD64_TO          160 siphash.c          ADD64_TO((v0), (v1));		\
ADD64_TO          161 siphash.c          ADD64_TO((v2), (v3));		\
ADD64_TO          167 siphash.c          ADD64_TO((v2), (v1));		\
ADD64_TO          168 siphash.c          ADD64_TO((v0), (v3));		\