Fix: codegen.cpp does not compile