If a model of computation does not natively support recursion, then defining a function h(y) by prim...