added a simple_allocator