the simple xen memory management program