Symbol: IDX_TO_SEQ