// This file has some formatted HTML annotation in it.

%style contents="<h3>:</h3>"       
%title "Formatted HTML"

int foobar(int);
/* This is an HTML formatted comment 
<ul>
<li> List Item 1
<li> List Item 2
<li> List Item 3
</ul>
Some follow up text.
*/