var IPPROTO_IP: Int { get }