Analysis and generation of C code
