to play; to amuse oneself