Partial recursive function
Redirect to:
General recursive function