svoid reportHashCollision(O o) {
  print("Hash collision! " + o);
}