pub const SYS_timer_gettime: c_long = _; // 4_259i32