bit manipulation: comment and clean count_ones.c
search: more error checks in binary search