#include "fromsupercop.h" crypto_int32 int32_negative_mask(crypto_int32 a) { return crypto_int32_negative_mask(a); }