../../Task/Binary-search/XPL0