pub const __NR_socket: u32 = 41; // 41u32