Compiler for a theoretical object-oriented programming language, OAT.