cpp hack
	modified:   output_c.def