sS assertEqualsVerboseIC(S x, S y) {
  assertEqualsVerboseIC((S) null, x, y);
  ret y;
}

sS assertEqualsVerboseIC(S msg, S x, S y) {
  if (!eqic(x, y))
    fail((msg != null ? msg + ": " : "") + y + " != " + x);
  else
    print("OK: " + x);
  ret y;
}