Compilable CEK machine (not working properly yet)