Update genC.h