?binary_search(0,{1,3,5}) -- -1
?binary_search(1,{1,3,5}) -- 1
?binary_search(2,{1,3,5}) -- -2
?binary_search(3,{1,3,5}) -- 2
?binary_search(4,{1,3,5}) -- -3
?binary_search(5,{1,3,5}) -- 3
?binary_search(6,{1,3,5}) -- -4
