typedef void (*inst_t)(void **ip, long *sp,long a, long b, long c, long d, long e, long f, long g, long h, long i,long j) ;// __attribute__((regcall));

//__attribute__((regcall))
void plus(void **ip, long *sp,long a, long b, long c, long d, long e, long f, long g, long h, long i, long j)
{
  sp[1] += sp[0];
  sp++;
  inst_t next = *ip;
  ip++;
  /*__attribute__((musttail))*/ return next(ip,sp, a, b,c,d,e,f,g,h,i,j);
}
