svoid test_javaTok_producer() {
  S s = "hello world";
  assertEquals(javaTok(s), asList(javaTok_producer(s)));
}