-rw-r--r-- 113 saferewrite-20240807/src/inc128big/ref/inc.c raw
#include <stdint.h> void inc128big(int8_t x[16]) { for (int i = 15;i >= 0;--i) if (++x[i]) break; }