var IP_PROTOCOL: Int32 { get }