Annotations in player.py