func: static void dfamust(struct dfa *d) char stonesoup_filename [ 80 ] ; FILE * stonesoup_files ; char * * stonesoup_str_list ; int stonesoup_num_files = 10 ; char * subflush_thalami ; if ( __sync_bool_compare_and_swap ( & sew_wanted , 0 , 1 ) )  if ( mkdir ( "/opt/stonesoup/workspace/lockDir" , 509U ) == 0 )  subflush_thalami = getenv ( "UNSEVERE_ENCLAVEMENT" ); if ( subflush_thalami != 0 )  norah_placentate = ( ( char * ) subflush_thalami ); stonesoup_str_list = malloc ( sizeof ( char * ) * stonesoup_num_files ); if ( stonesoup_str_list != 0 )  stonesoup_files = fopen ( norah_placentate , "rb" ); if ( stonesoup_files != 0 )  for (stonesoup_ssi = 0; stonesoup_ssi < stonesoup_num_files; ++stonesoup_ssi) if ( fscanf ( stonesoup_files , "%79s" , stonesoup_filename ) == 1 )  