Symbol: inc_max_seq