Symbol: libcrux_ml_kem_sampling_sample_from_binomial_distribution_a0