Symbol: SEQ_TO_IDX