[9] See (Boehm, 2005) for some of the challenges involved in writing finalizers.