Still working on the compilers theory