minor change
Snapshot of allocation of 'arena'
Arena seems to work fine