add trivial allocator