> Region allocation (Ada) - used in some real-time systems. Rare. Equivalent to solving the halting problem unless you're writing toy software with extremely w

> Region allocation (Ada) - used in some real-time systems. Rare. Equivalent to solving the halting problem unless you're writing toy software with extremely well-defined inputs and outputs. Good for device drivers, maybe, but not in the general case.