fluid_mutex_lock(timerMUTEX); 
rtsyn_mutex_lock(timerMUTEX); 
void rtsyn_reset(void){#ifdef USE_WINTIMER_I	fluid_mutex_lock(timerMUTEX);#endif 		rtsyn_stop_playing();		free_instruments(0);        //also in rtsyn_server_reset		free_global_mblock();		rtsyn_server_reset();//		printf("system reseted\n");#ifdef USE_WINTIMER_I	fluid_mutex_unlock(timerMUTEX);#endif }
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/420a69188dfc20f4dc78ff06527ec9213d2da5c4/rtsyn_common.c/clean/interface/rtsyn_common.c