pub const __NR_getrandom: u32 = 318; // 318u32