The natural number template is
; (define (f n ...) ; (cond [(zero? n) ...] ; [(positive? n) ...(f (sub1 n) ...)...]))