Symbol: hyp_assert_lock_held