-rw-r--r-- 149 saferewrite-20211125/src/int32_sort2/linkbug/sort2.c#include <inttypes.h> void sort2_int32(int32_t *x) { int32_t x0 = x[0]; int32_t x1 = x[1]; if (x1 < x0) { x[0] = x1; x[1] = x0; } }