keccakf1600
void keccakf1600(uint64_t[25]);
keccakf1600(C->A);
keccakf1600(C->A);
keccakf1600(C->A);
keccakf1600(C->A);
keccakf1600(C->A);
keccakf1600(C->A);
#define ENTPOOL_PERMUTE keccakf1600