```php function binsearch($x,$a){ $c=count($a); $lower=0; $high=$c-1; ...