adjust_tune_freq(int val, float tune) 
static int32 adjust_tune_freq(int32 val, float tune) 
adjust_tune_freq(int val, float tune){  if (!tune)    return val;  return (int)(val / pow(2.0, tune / 12.0));}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/a64844d3cb6b3bada4c4382c3f32011bd46d04ce/instrum.c/clean/timidity/instrum.c