post binary search, and test syntax highlight