../../dilithium2/m4f/smallpoly.h