Delete codegen.py~