#include "crypto_int64.h" crypto_int64 int64_bottombit_01(crypto_int64 x) { return crypto_int64_bottombit_01(x); }