compilable state