Changed the semantics of C pointer-code generation