Edit File: seqlock.h