pub const TYPE_ANYCOMPATIBLERANGE_OID: u32 = 5080; // 5_080u32