-rw-r--r-- 157 saferewrite-20240807/src/inc128big/mask1/inc.c raw
#include <stdint.h>

void inc128big(int8_t x[16])
{
  int8_t mask = -1;
  for (int i = 15;i >= 0;--i) {
    x[i] -= mask;
    if (x[i] != 0) mask = 0;
  }
}