Compiler_theory loading ...