parse_argv[(parse_argc) - 1] = xbt_strdup(A_surfxml_process_function);
surf_parse_get_double(&start_time, A_surfxml_process_start_time);
surf_parse_get_double(&kill_time, A_surfxml_process_kill_time);
parse_argv[(parse_argc) - 1] = xbt_strdup(A_surfxml_process_function);
surf_parse_get_double(&start_time, A_surfxml_process_start_time);
surf_parse_get_double(&kill_time, A_surfxml_process_kill_time);