Redirecting to Mu-recursive function