pub const __NR_idle: u32 = 112;