../../Task/Gray-code/XPL0