Generating C code