#charset "UTF-8"

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


main()
{
"Before";
"<listing>";
"in outer listing";
"<listing>";
"in inner listing";
"</listing>";
"in outer listing";
"</listing>";
"after";
}

