pub const __NR_rt_sigtimedwait: u32 = 128;