More thrashing on the random_numbers example.