Use map_size/1