#include "../config.h"
#define XKCP_has_KeccakP1600times2