#include "mk.h"

NodePtr nhc_mkTuple15(NodePtr a1,NodePtr a2,NodePtr a3,NodePtr a4,NodePtr a5,NodePtr a6,NodePtr a7,NodePtr a8,NodePtr a9,NodePtr a10,NodePtr a11,NodePtr a12,NodePtr a13,NodePtr a14,NodePtr a15)
{
  NodePtr n = C_ALLOC(1+EXTRA+15);
  n[0] = CONSTRP(15,0);
  INIT_PROFINFO(n,&dummyProfInfo)
  n[EXTRA+1] = (Node)a1;
  n[EXTRA+2] = (Node)a2;
  n[EXTRA+3] = (Node)a3;
  n[EXTRA+4] = (Node)a4;
  n[EXTRA+5] = (Node)a5;
  n[EXTRA+6] = (Node)a6;
  n[EXTRA+7] = (Node)a7;
  n[EXTRA+8] = (Node)a8;
  n[EXTRA+9] = (Node)a9;
  n[EXTRA+10] = (Node)a10;
  n[EXTRA+11] = (Node)a11;
  n[EXTRA+12] = (Node)a12;
  n[EXTRA+13] = (Node)a13;
  n[EXTRA+14] = (Node)a14;
  n[EXTRA+15] = (Node)a15;
  return n;
}