libcrux_ml_kem_vector_portable_montgomery_multiply_by_constant_b8
return libcrux_ml_kem_vector_portable_montgomery_multiply_by_constant_b8(
libcrux_ml_kem_vector_portable_montgomery_multiply_by_constant_b8(b,
b = libcrux_ml_kem_vector_portable_montgomery_multiply_by_constant_b8(
libcrux_ml_kem_vector_portable_montgomery_multiply_by_constant_b8(
libcrux_ml_kem_vector_portable_montgomery_multiply_by_constant_b8(
libcrux_ml_kem_vector_portable_montgomery_multiply_by_constant_b8(