../../Task/Range-extraction/XPL0