Symbol: segment_seq_plus_len