do_lottery() now picks a winning process