pub const SYS_timer_gettime: c_int = 108;