replace IntSeq with List

why not use the new code? It looks right to me