<example> around programlisting