svoid tok_jreplace_standardParameter(LS tok) {
  jreplace(tok, "jreplace(<quoted>", "jreplace(tok, $3");
}