#include <inttypes.h>
#include "crypto_int8.h"

int16_t uint8_7bit_nonzero_mask_int16(uint8_t b)
{
  b &= 127;
  return crypto_int8_nonzero_mask(b);
}