HSIPHASH_CONST_1
.pool = { HSIPHASH_CONST_0, HSIPHASH_CONST_1, HSIPHASH_CONST_2, HSIPHASH_CONST_3 },
u32 v1 = HSIPHASH_CONST_1; \