- std::uniform_int_distribution<int> dist(0, nb_bits - 1);
- int random_index = dist(generator);
+ // std::uniform_int_distribution<int> dist(0, nb_bits - 1);
+ // int random_index = dist(generator);
+ int random_index = generator() % nb_bits; // ensure reproducibility across platforms