#include "interposed.h"

vector_type dummy(vector_type x0, vector_type x1, vector_type x2, vector_type x3, vector_type x4, vector_type x5, vector_type x6, vector_type x7) {
  return x0 + x1 + x2 + x3 + x4 + x5 + x6 + x7;
}