Update ObjectCodeGenerator.h