pub const __NR_getitimer: u32 = 36;