Output well-formatted C code in verbose mode