(Code before relied on free ept to free memory. But this could be confusing and hard to debug in the future...)