var IP_RECVERR: Int32 { get }