Code Editor : scoped_allocator