#include "crypto_uint16.h" crypto_uint16 uint16_smaller_01(crypto_uint16 x,crypto_uint16 y) { return crypto_uint16_smaller_01(x,y); }