progfun-example tests all pass now.