HomeIsabelle/Phabricator

Change the low-level allocator to separate out code and data allocation.