#ifndef PRINTSTATE_H_
#define PRINTSTATE_H_
#ifdef ASCON_PRINT_STATE
#include "ascon.h"
#include "word.h"
void ascon_printword(const char* text, const uint64_t x);
void ascon_printstate(const char* text, const ascon_state_t* s);
#else
#define ascon_printword(text, w) \
do { \
} while (0)
#define ascon_printstate(text, s) \
do { \
} while (0)
#endif
#endif /* PRINTSTATE_H_ */