: %d %d in %s: line %d\n", Q, (int)a, (int)b, file, line);    }    if (ABS00(b)>=(EXTEND00(0)<<(00+Q)))       fprintf (stderr, "MULT00_00_Q%d: second operand too large: %d %d in %s: line %d\n", Q, (int)a, (int)b, file, line);    