.
video roulette random dtmc