typedef void (*inst_t)(void **ip, long *sp, long, long, long, long);

void minus11(void **ip, long *sp, long s1, long s2, long s3, long s4)
{
  s1 = sp[0]-s1;
  sp++;
  inst_t next = *ip;
  ip++;
  /*__attribute__((musttail))*/ return next(ip,sp, s1, s2, s3, s4);
}

void minus01(void **ip, long *sp, long s1, long s2, long s3, long s4)
{
  s1 = sp[1]-sp[0];
  sp+=2;
  inst_t next = *ip;
  ip++;
  /*__attribute__((musttail))*/ return next(ip,sp, s1, s2, s3, s4);
}

void minus21(void **ip, long *sp, long s1, long s2, long s3, long s4)
{
  s1 = s1-s2;
  inst_t next = *ip;
  ip++;
  /*__attribute__((musttail))*/ return next(ip,sp, s1, s2, s3, s4);
}


