char** argv = new char*[argc + 1];
for (int i = 0; i != argc; ++i)
argv[i] = xbt_strdup(args[i].c_str());
argv[argc] = nullptr;
char** argv = new char*[argc + 1];
for (int i = 0; i != argc; ++i)
argv[i] = xbt_strdup(args[i].c_str());
argv[argc] = nullptr;