Symbol: SEQ_LOCK_ASSERT