2099     GateRef arrayIndex =  in GetAttributesFromDictionary()  local
2103         Int32Add(arrayIndex, Int32(DictionaryT::ENTRY_DETAILS_INDEX));  in GetAttributesFromDictionary()
2111     GateRef arrayIndex =  in GetValueFromDictionary()  local
2115         Int32Add(arrayIndex, Int32(DictionaryT::ENTRY_VALUE_INDEX));  in GetValueFromDictionary()
2133     GateRef arrayIndex =  in GetKeyFromDictionary()  local
2136     Branch(Int32LessThan(arrayIndex, Int32(0)), &ltZero, &notLtZero);  in GetKeyFromDictionary()
2140     Branch(Int32GreaterThan(arrayIndex, dictionaryLength), &gtLength, &notGtLength);  in GetKeyFromDictionary()
2144     result = GetValueFromTaggedArray(elements, arrayIndex);  in GetKeyFromDictionary()
2155     GateRef arrayIndex =  in UpdateValueAndAttributes()  local
2159         Int32Add(arrayIndex, Int32(NameDictionary::ENTRY_VALUE_INDEX));  in UpdateValueAndAttributes()
2161         Int32Add(arrayIndex, Int32(NameDictionary::ENTRY_DETAILS_INDEX));  in UpdateValueAndAttributes()
2171     GateRef arrayIndex = Int32Add(Int32(NameDictionary::TABLE_HEADER_SIZE),  in UpdateValueInDict()  local
2173     GateRef valueIndex = Int32Add(arrayIndex, Int32(NameDictionary::ENTRY_VALUE_INDEX));  in UpdateValueInDict()