pub const __NR_socket: u32 = 41;