static RuntimeException badCastException(O o, Class c) {
  ifclass DynamicObject
  if (o cast DynamicObject)
    fail("DynamicObject " + o.className + " can't be cast to " + c);
  endif
  fail(className(o) + " can't be cast to " + c);
}