libcrux_ml_kem_vector_portable_arithmetic_sub
return libcrux_ml_kem_vector_portable_arithmetic_sub(lhs, rhs);
libcrux_ml_kem_vector_portable_arithmetic_sub(z, &a);