#charset "UTF-8"
	
#include <tads.h>
#include <file.h>
#include <date.h>
#include <charset.h>


main()
{
"Before ol plain
<ol plain>
	<li>item 1 </li>
	<li>before ol non-plain
		<ol>
			<li>item 1 </li>
		</ol>
	</li>
	<li>item 3 </li>
</ol>
After.";
}

