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