-rw-r--r-- 171 saferewrite-20210904/src/int32_sort2/ternary/sort2.c#include <inttypes.h> void int32_sort2(int32_t *x) { int32_t x0 = x[0]; int32_t x1 = x[1]; int32_t c = (x1 < x0); x[0] = (c ? x1 : x0); x[1] = (c ? x0 : x1); }