PS: what about stop arguing about subtleties in the definition of "memory leak" and start working on a good algorithm to implement a more "desirable behaviour"? -- Roberto
