#ifndef ASCON_H_ #define ASCON_H_ #include <stdint.h> typedef struct { uint64_t x[5]; } state_t; #endif /* ASCON_H_ */