#include "fromsupercop.h" crypto_int32 int32_zero_mask(crypto_int32 a) { return crypto_int32_zero_mask(a); }