../../Task/Map-range/XPL0