static List<String> pythonTok(String s) {
  ret javaTok(s);
}



static List<String> pythonTok(List<String> tok) {
  ret javaTok(tok);
}