If you are interested in learning about the internals of the CompCert C compiler but would rather not read its source code, this post is for you.