the virtual heap management was only used for user data. As dune handles user data differently, we can drop this code.