Re: reduced DEFAULT_SEARCH_STACK_DEPTH