#ifndef ASCON_H_ #define ASCON_H_ #include <stdint.h> typedef struct { uint64_t x0, x1, x2, x3, x4; } state_t; #endif /* ASCON_H */