if( actual_workbench_file ){ free(actual_workbench_file); actual_workbench_file = NULL; }
A_openAvi (char *name){  A_openAvi2 (name, 0);  if( actual_workbench_file ){     free(actual_workbench_file);     actual_workbench_file = NULL;  }}