func: static void PgstatCollectorMain(int argc,char *argv[]) pgstat_write_statsfile ( ( ( bool ) 1 ) ); static void pgstat_write_statsfile(bool permanent) FILE * fpout ; int32 format_id ; const char * tmpfile = ( permanent ? "global/pgstat.tmp" : pgstat_stat_tmpname ) ; int rc ; fpout = AllocateFile ( tmpfile , "w" ); if ( fpout == ( ( void * ) 0 ) )  format_id = 0x01A5BC9A; rc = ( fwrite ( ( & format_id ) , sizeof ( format_id ) , 1 , fpout ) ); 