compileT is correct