#include "crypto_int8.h" crypto_int8 int8_smaller_01(crypto_int8 x,crypto_int8 y) { return crypto_int8_smaller_01(x,y); }