1 2 3 4 5 6 7 8 9
#include <stdint.h> /* Tweakey permutation */ extern const uint8_t h[8]; /* Tweakey multiplication */ extern const uint8_t P[6][256];