hash_df_block
static void hash_df_block(secret void *, uint8_t, uint8_t[4],
hash_df_block(p, counter++, hbits, input, inputlen);
hash_df_block(t, counter, hbits, input, inputlen);