Constant TABLE_INDEX_MASK 

const TABLE_INDEX_MASK: u16 = 0x7f00;