static Set vm_registeredInstancesSet(Class c) {
  ret c == null ? null : vm_generalWeakSet("Instances of " + c.getName());
}

static Set vm_registeredInstancesSet(S className) {
  ret className == null ? null : vm_generalWeakSet("Instances of " + className);
}