-rw-r--r-- 149 saferewrite-20241004/src/uint8_sort2/ref/sort2.c raw
#include <inttypes.h> void uint8_sort2(uint8_t *x) { uint8_t x0 = x[0]; uint8_t x1 = x[1]; if (x1 < x0) { x[0] = x1; x[1] = x0; } }