Isn't the goal of the Boehm collector to work with systems that otherwise don't "understand" garbage collection on a fundamental level? What's the purpose of such a collector in a language where all datatypes are already tagged? James