*cp++ = l >> 16; *cp++ = l >> 8 & 0xFF; *cp++ = l & 0xFF; 
STORE_S24X(cp, l); 
void s32tos24x(int32 *lp, int32 c){	uint8 *cp = (uint8 *)(lp);	int32 l, i;	for(i = 0; i < c; i++)	{		l = (lp[i]) >> (32 - 24 - GUARD_BITS);		l = (l > MAX_24BIT_SIGNED) ? MAX_24BIT_SIGNED				: (l < MIN_24BIT_SIGNED) ? MIN_24BIT_SIGNED : l;		*cp++ = l >> 16;		*cp++ = l >> 8 & 0xFF;		*cp++ = l & 0xFF;	}}
4357	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4357/ec7b35f28ddbed0622f2098c7988767e80014660/output.c/buggy/timidity/output.c