static void assertSameVerbose(O x, O y) {
  assertSameVerbose((S) null, x, y);
}

static void assertSameVerbose(S msg, O x, O y) {
  if (x != y)
    fail((msg != null ? msg + ": " : "") + str_shorten(y) + " !== " + str_shorten(x));
  else
    print("OK: " + str_shorten(x));
}