Symbol: read_seqbegin_or_lock