Symbol: SEQ_TO_INDEX