svoid gazelle_saveExampleFromCommentAsAppliedRule(S ruleID) {
  for (S example : gazelle_goodExamplesFromComments(ruleID)) {
    PairS xmp = splitAtDoubleArrow_pair(example);
    if (xmp == null) continue;
    GazelleEvalContext ctx = dm_gazelle_stdEvalContext(ll(t3(dm_textForRule(ruleID), dm_commentOfRule(ruleID), ruleID)));
    L<RuleEngine2_MatchedRule> l = ai_ruleEngine2_rulesForInput_5(ctx.engine, litmap(standard := xmp.a));
    print("Matched: " + sfu(l));
    if (empty(l)) continue;
    RuleEngine2_MatchedRule mr = first(l);
    LS tokOut = mr.outTokenize(xmp.b);
    printStruct(tokOut);
  }
}