implement ext-map↑