int_seq = int list