static L<S> tok_splitAtComma_unquote(S s) {
  L<S> tok = javaTok(s);
  new L<S> out;
  for i over tok: {
    int j = smartIndexOf(tok, ",", i);
    out.add(join(subList(tok, i, j)));
    i = j;
  }
  ret out;
}