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