pub const OID_RANGE_OVERLAPS_RIGHT_OP: u32 = 3896;