#include "fromsupercop.h"

crypto_uint32 uint32_max(crypto_uint32 a,crypto_uint32 b)
{
  return crypto_uint32_max(a,b);
}