change the para name as x in the IntSequence function