~james/split

ref: d5ec9d43bb40f942cd275ec0d52561516d6446ea split/Reuse.thy -rw-r--r-- 10.0 KiB 
feat(reuse): preserve zeroed unmapped frames across pool operations