void test16 (void) { if (add16 (arr16) != arr16[0] + arr16[1] + arr16[2]) __builtin_abort(); }
/* * Increment in by 1 */ void inc16(const int *in, int *out) { int one[16] = {0}; one[15] = 1; add16(in, one, out); }