var IPPROTO_ICMP: Int { get }