/* if PGO_FREE is not set then the pages stay where they are. */