fprintf (stderr, "DIV32_16: inputs are not int/short: %d %d\n", a, b);
fprintf (stderr, "DIV32_16: inputs are not int/short: %d %d\n", (int)a, (int)b);
static inline int DIV32_16(long long a, long long b) {   long long res;   if (b==0)   {      fprintf(stderr, "DIV32_16: divide by zero: %d/%d\n", a, b);      return 0;   }   if (!VERIFY_INT(a) || !VERIFY_SHORT(b))   {      fprintf (stderr, "DIV32_16: inputs are not int/short: %d %d\n", a, b);   }   res = a/b;   if (!VERIFY_SHORT(res))   {      fprintf (stderr, "DIV32_16: output is not short: %d / %d = %d\n", (int)a,(int)b,(int)res);      if (res>32767)         res = 32767;      if (res<-32768)         res = -32768;   }   spx_mips++;   return res;}