Article wrapper

This is a programlisting in an informalexample.