binarysearch.pas