Now the compiler is functional