Add and use a trivial allocator for simplicity