sS strWithIdentityHashCode(O o) {
  ret o == null ? "null" : "[" + identityHashCode(o) + "] " + str(o);
}