random_play(): add -s option