If nothing is defined, then it's "__default_codegen__"