static char ext[4], *p; 
static char ext[5], *p; 
static const char *encoding_ext(int32 encoding) {  static char ext[4], *p;  if(encoding & PE_ULAW) {    return ".ul";  }  if(encoding & PE_ALAW) {    return ".raw"; /* ?? */  }  p = ext;  *p++ = '.';  if(encoding & PE_SIGNED)    *p++ = 's';  else    *p++ = 'u';  if(encoding & PE_16BIT)    *p++ = 'w';  else    *p++ = 'b';  *p = '\0';  return ext;}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/b28ed5f84d8a7baee52cb30f237c2f415cbcf570/raw_a.c/buggy/timidity/raw_a.c