(module Random_selection)