Symbol: LIBCRUX_ML_KEM_POLYNOMIAL_VECTORS_IN_RING_ELEMENT