Preparations for C code generation