modified hoogle run