Symbol: RECURSIVE_LOCK_HOLDER