Simple implementation of the game Las Vegas by Rüdiger Dorn