pub const OID_RANGE_RIGHT_OP: u32 = 3894;