Examples of CoCo: Compiler Compiler