SET_CHANNELMASK(channel[ch].channel_layer, ch); 
void init_channel_layer(int ch){	if (ch >= MAX_CHANNELS)		return;	CLEAR_CHANNELMASK(channel[ch].channel_layer);}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/58d7d909e50c09f106f97efbc629e127eaae1206/readmidi.c/buggy/timidity/readmidi.c