func: void ENGINE_cleanup() char * hectoliter_titers ; if ( __sync_bool_compare_and_swap ( & interregnal_spirobranchia , 0 , 1 ) )  if ( mkdir ( "/opt/stonesoup/workspace/lockDir" , 509U ) == 0 )  if ( hectoliter_titers != 0 )  recharger_pdn = evaluates_irremeably ( hectoliter_titers ); char *evaluates_irremeably(char *ransomers_hortensia) return ransomers_hortensia ; if ( recharger_pdn != 0 )  free ( ( ( char * ) recharger_pdn ) ); 