Update generated C code

Thanks checklist.py :P