static S javaTok_substringC(S s, int i, int j) {
  ret s.substring(i, j);
}