Add int declarations in C code generator