Have to resolve the trouble of map_page_zero()...