> What's the problem?
Maybe some language support wrt the target region specification? There'll be an implicit "global heap" ref for current behavior, and refs/ptrs will need their owning heap associated, then when a ptr owned by heapA is assigned to a ptr var owned by heapB, there'll need syntax to express intended copy/move semantics wrt data migration between heaps.
