Symbol: zone_span_seqbegin