#include "crypto_int32.h" crypto_int32 int32_bottombit_mask(crypto_int32 x) { return crypto_int32_bottombit_mask(x); }