pub type __timer_t = *mut c_void;