initialize_utc_base 5028 src/w32.c            initialize_utc_base ();
initialize_utc_base 5046 src/w32.c            initialize_utc_base ();