Sorry to inject some fact into a good squabble...

I was reading 2.0's gcc(1) for unrelated reasons and I found the
-fno-builtin-* options.  It looks as though -fno-builtin-printf is TRT
for people who don't want this transformation, and -fno-builtin for
people who don't want any such for any function.  (I see nothing for
people who want it off by default with an option to enable it, though.
Doable with a wrapper program that massages the arglist to gcc, I
suppose.)

This was the 2.0 gcc manpage.  Looking at my -current sup tree, I see
src/gnu/dist/gcc/gcc/doc/gcc.1, which describes such options, and
src/gnu/dist/toolchain/gcc/gcc.1, which doesn't but which claims to be
for gcc 2.95.

/~\ 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