void NaClTimeFini(void) { NaClTimeInternalInit(&gNaClTimeState); }
void NaClTimeInit(void) { NaClTimeInternalInit(&g_NaCl_time_state); }