Symbol: ND6_WLOCK_ASSERT