pub const ARCH_GET_MAX_TAG_BITS: u32 = 16387; // 16_387u32