svoid tok_optParLambda(LS tok) {
  jreplace(tok, "optParLambda1 <id>", "optPar $2(lambda1 $2)");
}