int main() { printf ("%d\n", arith_mean (1, 2, 7, 10, 15, -1)); };
int main() { printf ("%d\n", arith_mean (1, 2, 7, 10, 15, -1 /* terminator */)); };