../../Task/Integer-comparison/XPL0