Added uses of next_player()