void printi(int val);

int function(int a0, int a1, int a2, int a3, int a4, int a5,
	     int a6, int a7, int a8, int a9, int a10, int a11)
{
  return a0 + a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10 + a11;
}

int main()
{
  int val;

  val = function(1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12);
  printi(val);

  return 0;
}
