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