A scoped stack allocator