Deleted copy constructor; an Arena cannot be copied.
Declared in <support/lockedpool.h>
<support/lockedpool.h>
Arena(Arena const& other) = delete;