static int assertSignEquals(int x, int y) {
  ret assertSignEquals(null, x, y);
}

static int assertSignEquals(S msg, int x, int y) {
  if (sign(x) != sign(y))
    fail((msg != null ? msg + ": " : "") + y + " sign != " + x);
  ret y;
}