a little more c code gen work