pool_player meaning: pool player