oldIdx            281 execwrappers.cpp     int oldIdx = -1;
oldIdx            292 execwrappers.cpp         oldIdx = i;
oldIdx            300 execwrappers.cpp     if (oldIdx != -1) {
oldIdx            302 execwrappers.cpp       *(const char**)&argv[oldIdx] = oldStr;