replace IntSeq with List

well, this code can be executed from outside krun; maybe @dwightguth want to weight in?