Definition of "compiles"