void u32_swap(void *a, void *b, int size) 
static void u32_swap(void *a, void *b, int size) 
void u32_swap(void *a, void *b, int size){	u32 t = *(u32 *)a;	*(u32 *)a = *(u32 *)b;	*(u32 *)b = t;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ecec4cb7a9df5f61fe00710d2f2c69ce9a3b1d40/sort.c/buggy/lib/sort.c