Initial push of progfun-example