update codegen.h