/* DannyNiu/NJF, 2018-02-06. Public Domain. */

#include "keccak.h"

#define Keccak_InstName KeccakF1600
#define keccak_word_t uint64_t
#define keccak_state_t keccak_state1600_t
#include "keccak.c.h"
