Symbol: INDEX_TO_SEQ