Re: dbghelp[2]: Speed up vector_add. Remove no longer needed pool_realloc.