origArgvLen       352 util_exec.cpp    size_t origArgvLen = 0;
origArgvLen       353 util_exec.cpp    while (origArgv[origArgvLen] != NULL)
origArgvLen       354 util_exec.cpp      origArgvLen++;
origArgvLen       356 util_exec.cpp    JASSERT(newArgvLen >= origArgvLen + 1) (origArgvLen) (newArgvLen)