static int ihc(O o) {
  ret identityHashCode(o);
}