xbt_dict_set(machine_set, A_surfxml_process_host, NULL, NULL);
process.argc = 1;
process.argv = xbt_new(char *, 1);
process.argv[0] = xbt_strdup(A_surfxml_process_function);
process.host = strdup(A_surfxml_process_host);
xbt_dict_set(machine_set, A_surfxml_process_host, NULL, NULL);
process.argc = 1;
process.argv = xbt_new(char *, 1);
process.argv[0] = xbt_strdup(A_surfxml_process_function);
process.host = strdup(A_surfxml_process_host);