svoid test_htmlTok() {
  testFunction htmlTok(
    "a <= 0", ll("a <= 0"),
    "a <bla> 0", ll("a ", "<bla>", " 0"),
    "</bla>", ll("", "</bla>", ""),
    "<!---->", ll("<!---->"),
    "<!----><tag>", ll("<!---->", "<tag>", ""),
  );
}