Added mem3 allocator from sqlite