double timer_check_slang(int *t_handle) { chrono_t *t; t = (chrono_t *) table_get_data(chrono_table, *t_handle); return timer_check(t); }
void timer_start_slang(int *t_handle) { chrono_t *t; t = (chrono_t *) table_get_data(chrono_table, *t_handle); timer_start(t); return; }
void random_set_state_wrapper(int stateid) { random_state state; /* State to restore. */ THREAD_LOCK(state_table_lock); state = table_get_data(state_table, stateid); THREAD_UNLOCK(state_table_lock); if (!state) die("Unmatched state handle."); random_set_state(state); return; }