#include "fromsupercop.h"

crypto_uint32 uint32_min(crypto_uint32 a,crypto_uint32 b)
{
  return crypto_uint32_min(a,b);
}