sS withIdentityHash_inFront(O o, S s) {
  ret o == null ? s : addPrefix(intToHex_flexLength(identityHashCode(o)) + "@", s);
}