pub type DisambiguationIndex = u16;