extern void swap(int*, int*);