Don't know how I got this wrong with copy-paste — it clearly should be `/* lock player_info! */` of course.