Add a mono_binary_search () function.