-rw-r--r-- 153 saferewrite-20240620/src/uint16_sort2/ref/sort2.c raw
#include <inttypes.h>

void uint16_sort2(uint16_t *x)
{
  uint16_t x0 = x[0];
  uint16_t x1 = x[1];
  if (x1 < x0) {
    x[0] = x1;
    x[1] = x0;
  }
}