pub const __NR_getpriority: u32 = 140; // 140u32