<!-- a comment ending with three dashes --->
<doc></doc>