b;    if (!VERIFY_SHORT(res))       fprintf (stderr, "SUB00: output is not short: %d in %s: line %d\n", res, file, line);    spx_mips++;    return res; }  #define ADD00(a, b) _ADD00(a, b, __FILE__, __LINE__) static inline 