void function ( int arg0 [ ] , int arg1 , int arg2 ) { int loc0 = arg0 [ arg1 ] ; arg0 [ arg1 ] = arg0 [ arg2 ] ; arg0 [ arg2 ] = loc0 ; }
swap two positions . concode_field_sep PlaceHolder placeHolder concode_field_sep void siftDown concode_elem_sep void siftDown concode_elem_sep void siftDown concode_elem_sep void siftDown concode_elem_sep void siftUp concode_elem_sep void siftUp concode_elem_sep void siftUp concode_elem_sep void siftUp