Symbol: read_seqbegin