#ifndef UTIL_H
#define UTIL_H

#define poly_small_to_fp PQCLEAN_FALCON512_AARCH64_smallints_to_fpr

void PQCLEAN_FALCON512_AARCH64_smallints_to_fpr(fpr *r, const int8_t *t, unsigned logn);

#endif