void NaClTimeFini(void) { NaClTimeInternalFini(&gNaClTimeState); }
void NaClTimeFini(void) { NaClTimeInternalFini(&g_NaCl_time_state); }