progfun-example, out of the box.