static S tok_dropFinal(S s) {
  ret jreplace(s, "final", "");
}