#include "crypto_uint32.h"

int uint32_bottomzeros_num(crypto_uint32 x)
{
  return crypto_uint32_bottomzeros_num(x);
}