Searching in libmpx/mpxrt