sS dropPunctuationAtEnd_noTok(S s) {
  int i = l(s);
  while (i > 0) {
    char c = s.charAt(i-1);
    if (isLetterOrDigit(c))
      break;
    i--;
  }
  ret takeFirst(i, s);
}