Redirecting to Primitive recursive function