Machine-readable version of this page: //core.telegram.org/type/HighScore.md.
Game high score
highScore#58fffcd0 pos:int user_id:int score:int = HighScore;