We only use it once internally, in simple_code_gen.py