libcrux_ml_kem_vector_portable_rej_sample_b8
size_t sampled = libcrux_ml_kem_vector_portable_rej_sample_b8(