sS toStringWithIdentityHashCode(O o) {
  ret withIdentityHash(o, str(o));
}