Added the spec for the compiler