pub const OID_RANGE_OVERLAP_OP: u32 = 3888;