2439     GateRef arrayIndex =  in GetAttributesFromDictionary()  local
2443         Int32Add(arrayIndex, Int32(DictionaryT::ENTRY_DETAILS_INDEX));  in GetAttributesFromDictionary()
2451     GateRef arrayIndex =  in GetValueFromDictionary()  local
2455         Int32Add(arrayIndex, Int32(DictionaryT::ENTRY_VALUE_INDEX));  in GetValueFromDictionary()
2473     GateRef arrayIndex =  in GetKeyFromDictionary()  local
2476     Branch(Int32LessThan(arrayIndex, Int32(0)), &ltZero, &notLtZero);  in GetKeyFromDictionary()
2480     Branch(Int32GreaterThan(arrayIndex, dictionaryLength), &gtLength, &notGtLength);  in GetKeyFromDictionary()
2484     result = GetValueFromTaggedArray(elements, arrayIndex);  in GetKeyFromDictionary()
2495     GateRef arrayIndex =  in UpdateValueAndAttributes()  local
2499         Int32Add(arrayIndex, Int32(NameDictionary::ENTRY_VALUE_INDEX));  in UpdateValueAndAttributes()
2501         Int32Add(arrayIndex, Int32(NameDictionary::ENTRY_DETAILS_INDEX));  in UpdateValueAndAttributes()
2512     GateRef arrayIndex = Int32Add(Int32(DictionaryT::TABLE_HEADER_SIZE),  in UpdateValueInDict()  local
2514     GateRef valueIndex = Int32Add(arrayIndex, Int32(DictionaryT::ENTRY_VALUE_INDEX));  in UpdateValueInDict()