updateNewMessage#1f2b0afd message:Message pts:int pts_count:int = Update;
t :: %TL.UpdateNewMessage{message: TL.Message.t, pts: integer, pts_count: integer}