seq -> int_seq