Symbol: PROC_SLOCK_ASSERT