pub const ARCH_GET_MAX_TAG_BITS: u32 = 16387;