michael@0: var o = newGlobal();
michael@0: o.makeFinalizeObserver();