Compilable state