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