highScore#58fffcd0 pos:int user_id:int score:int = HighScore;
t :: %TL.HighScore{pos: integer, score: integer, user_id: integer}