var IPPROTO_MAX: Int { get }