let
find p ra = find_aux 0 p ra