ECS 220 7b:7.3-4 a universal partial recursive function

From David Doty