-rw-r--r-- 102 saferewrite-20241004/src/int32_sort2/supercop/sort2.c raw
#include "fromsupercop.h"

void int32_sort2(crypto_int32 *x)
{
  return crypto_int32_minmax(x,x+1);
}