static S javascriptQuote(S s) {
  ret quote(s); // use regular Java quoting
}