extension/map_ext library