A Formal Semantics of the GraalVM Intermediate Representation User mttd, in the Compilers subreddit, 14 Jul 2021