#ifndef ASCON_H_
#define ASCON_H_

#include <stdint.h>

typedef struct {
  uint64_t x[5];
} state_t;

#endif /* ASCON_H_ */