!752

p {
  Producer<S> p = javaTokC_iterator("Hello /* comment */ world.");
  S s;
  while ((s = p.next()) != null)
    print(quote(s));
}