Add codegen.py and generated rust file.