outline of soon-to-be FreeTreeAllocator