int_sip_final     149 siphash.c      static void int_sip_final(sip_state *state, uint64_t *digest);
int_sip_final     154 siphash.c          int_sip_final