C Code Generation from Python