A mirror of a dsl for generating C