#include <inttypes.h>

int16_t uint8_7bit_nonzero_mask_int16(uint8_t b)
{
  b &= 127;
  if (b == 0) return 0;
  return -1;
}