An example of how to swipe from ordinary specification to full-fledged source code