.
american roulette algorithm agda