haetae.h

#include "compact_fips202.h"

#define brv8 KPQC_SYMBOL(brv8)
#define fix_round KPQC_SYMBOL(fix_round)
#define hammingWeight_8 KPQC_SYMBOL(hammingWeight_8)
#define polyfixfix_sub KPQC_SYMBOL(polyfixfix_sub)
#define sample_gauss KPQC_SYMBOL(sample_gauss)
#define shake128_stream_init KPQC_SYMBOL(shake128_stream_init)
#define shake256_absorb_thrice KPQC_SYMBOL(shake256_absorb_thrice)
#define shake256_absorb_twice KPQC_SYMBOL(shake256_absorb_twice)
#define shake256_stream_init KPQC_SYMBOL(shake256_stream_init)
#define start_cube KPQC_SYMBOL(start_cube)
#define start_times_threehalves KPQC_SYMBOL(start_times_threehalves)
#define randombytes KPQC_SYMBOL(randombytes)