#include "dotproduct.sctx.h"

int tmp[10];

void set_specialization_context(int *size, int **u)
{
  int i;

  *size = 10;
  for(i = 0; i < 10; i++)
    tmp[i] = i;
  *u = tmp;
}