updating CodegenRust.py