sS dynShortName_gen(O o) {
  if (eq(shortClassName(o), "DynamicObject")) {
    O className = getOpt className(o);
    if (className cast S) ret className;
  }
  ret shortClassName(o);
}