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



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