How does regions fit into this? IIRC regions have deterministic lifetimes, and all values/objects allocated in a region are freed in bulk when the region is fre

How does regions fit into this? IIRC regions have deterministic lifetimes, and all values/objects allocated in a region are freed in bulk when the region is freed (so it seems to only depend on how complex the underlying allocation is). http://en.wikipedia.org/wiki/Region-based_memory_management http://en.wikipedia.org/wiki/Region-based_memory_management