Can we design a virtual machine that makes effective use of the available memory?