In this article we will look at the role of CIL, compilation, instruction verification, and internal representations of programs. ...