The PHP Class API of MyAllocator