Fix failing tests in test_codegen.py
Fix example in ccode.py