Added generated procedure as example, and link to it from the README.