Searching in crypto/bn_extra