player's code to Playing Catch with the Devil