../../Task/Averages-Mode/XPL0