../../Task/Factorial/XPL0