#include <stdlib.h>

void f(unsigned long long *c, 
       const unsigned long long *t0, 
       const unsigned long long *t1, 
       const unsigned long long *t2, 
       const unsigned long long *t3, 
       const unsigned long long *t4, 
       const unsigned long long *t5, 
       const unsigned long long *t6, 
       const unsigned long long *t7,
       size_t n) {

  long i;

  for(i=0; i<n; i++) {
    c[i] ^= t0[i] ^ t1[i] ^ t2[i] ^ t3[i] ^ t4[i] ^ t5[i] ^ t6[i] ^ t7[i];
  }
}