#ifndef ASCON_H_
#define ASCON_H_

#include <stdint.h>

#define WORDTOU64

typedef uint64_t word_t;

typedef struct {
  word_t x0, x1, x2, x3, x4;
} state_t;

#endif  // ASCON_H_