../../Task/Random-numbers/XPL0