in sample-code/hwcaps-test.c [9:15]
uint64_t sum_all(uint32_t *values, int length) { uint64_t sum = 0; for (int i = 0; i < length; i++) sum += values[i]; return sum; }