Make diagnosticvf() slightly more efficient by using fwrite() instead of printing...