Article wrapper This is a programlisting in an informalexample.