Improve C source code emitter