with page replacement