arts_init_state = 2; 
static void close_output(void){    if(stream == 0)	return;    arts_close_stream(stream);    arts_free();    stream = 0;}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/b9a054f6fb8ff9d0552058f0ff9715922773931d/aRts_a.c/buggy/timidity/aRts_a.c