.
online roulette algorithm coqr