WITNESS_LLE_CACHE_MAX
if (wcpu->wc_lle_count < WITNESS_LLE_CACHE_MAX) {
#define WITNESS_STK_CACHE_MAX (WITNESS_LLE_CACHE_MAX * LOCK_NCHILDREN)