pub const __NR_setitimer: u32 = 38; // 38u32