Searching in libmpx/mpxwrap