var IP_NODEFRAG: Int32 { get }