-rw-r--r-- 118 saferewrite-20210915/src/int32_sort2/rust/src/lib.rs
pub fn int32_sort2(x:&mut[i32]) {
  let x0 = x[0];
  let x1 = x[1];
  if x1 < x0 {
    x[0] = x1;
    x[1] = x0
  }
}