binary_search 1010 still over time, 1007 many bugs, TODO