> Also, if the immutable branch only includes the patch introducing
> request_muxed_mem_region(), the pull order should not really matter.

Right, good point!