Redirecting to Μ-recursive function