sS classNameForPrinting(O o, Class c, S className) {
  ret (o.getClass() != c ? "subclass of " : "") + className;
}