> This is confusing:  Why does printf("%s", NULL) attempt to translate
> into puts() (or am I misreading something here)?

I don't know whether you're misreading.  But printf("%s",XXX) is
semantically equivalent to puts(XXX) for all XXX for which the former
is well-defined, so it is an at least minimally justifiable
transformation.

I still call it a bug, though, for the compiler to do this without its
being specifically requested to do so (-fgo-wild-with-stdio? :).

/~\ The ASCII				der Mouse
\ / Ribbon Campaign
 X  Against HTML	       mouse@rodents.montreal.qc.ca
/ \ Email!	     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B