debug: fully-qualify printf() and fprintf().