Creating a va_list dynamically?

[Robert Dewar]

<<For hosted implementations, fprintf is a reserved identifier in ISO C.  If
you specify -ffreestanding, that implies -fno-builtin and so will turn off
this optimization.
>>

OK, so most certainly it *is* ok to do this optimization. I must say I
wonder how often constant arguments appear in fprinft. It would
be nice to measure whether this opimtization ever is worth while.