TEVSZ
if (i == TEVSZ) {
uint64_t tevbuf[TEVSZ];
for (j = 1; j < TEVSZ; j++) {
sum/(TEVSZ - 1));
if (i >= TEVSZ)