A hierarchical pool based memory allocator with destructors. it uses reference counting to determine when memory should be freed.