/* Memory Allocation, sequential processor:
oo
- ------------------------------------------ <- fixed boundary (currently)
- | Heap 2 |
+ ------------------------------------------
+ | Temporary heap (tospace) |
| |
- ------------------------------------------ <- boundary moved by purify
- | Heap 1 |
+ __________________________________________ <- chosen by malloc/realloc
+ . .
+ . .
+ . .
+ ------------------------------------------ <- fixed boundary (currently)
+ | Heap |
| |
------------------------------------------ <- boundary moved by purify
| Constant + Pure Space /\ |