pub const OID_RANGE_LEFT_OP: u32 = 3893;