slightly more courageous test
correct bodies for rec functions
assertions about loop index/cond?
split test
handle 0<n case