static Producer<S> javaTokC_producer(S s) {
  ret javaTokC_iterator(s);
}