used once in MacroCompiler.scala