#charset "UTF-8"

#include <tads.h>
#include <file.h>
#include <date.h>
#include <charset.h>


main()
{
//"Before.<div>pre    line 1. <b>not bold</b><br>pre line   2</div>After.";
"Before.<pre>pre    line 1. <b>bold!</b><br>pre line   2</pre>After.";
}

