Is this a legitimate optimization (the suggested optimization of fprintf?) To be more precise, is a program that redefines its own fprintf to do something different in incorrect program?