// We make a copy of argv before modifying it in order to pass the original
// value to the model-checked:
char** argv_copy = argvdup(argc, argv);
// We make a copy of argv before modifying it in order to pass the original
// value to the model-checked:
char** argv_copy = argvdup(argc, argv);