#include "crypto_int32.h"

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