Add pseudocode version of player.c