array64_max
max = MAX(max, array64_max(nva[i].data, nva[i].count));
extern uint64_t array64_max(uint64_t array[], unsigned int len);