seq_num!=0 in previous assert