static const char* flags_table =
"<?xml version=\"1.0\" encoding=\"utf-8\"?>\n"
  "<tokenTables>\n"
    "  <tokenTable name=\"flags\" type=\"flag\">\n"
	"    <token value=\"1\">cyclo</token>\n"
	"    <token value=\"2\">cis</token>\n"
	"    <token value=\"3\">trans</token>\n"
	"  </tokenTable>\n"
  "</tokenTables>\n";
