fluid_mutex_destroy(timerMUTEX); 
rtsyn_mutex_destroy(timerMUTEX); 
void rtsyn_close(void){#ifdef USE_WINTIMER_I	timeKillEvent( timerID );	timeEndPeriod(1);	fluid_mutex_destroy(timerMUTEX);#endif }
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/420a69188dfc20f4dc78ff06527ec9213d2da5c4/rtsyn_common.c/buggy/interface/rtsyn_common.c