pub const __NR_pause: u32 = 34;