I used to program in Clipper (dBase language compiler) and we could use all kinds of directives to 'translate' commands in the pseudo-compiler output (I think that is what it was called).
It worked something like this (long time ago that I used it):
#xcommand printf(<value>) => print <code>
I am not sure if the Arduino environment can use something like#xcommand did for Clipper programmers, but maybe something like this can be added to the Arduino language