A memory manager using splay trees with a capability to identify memory leaks