{ X("tail-rec"), &firm_opt.tail_rec, 1, "firm: enable tail-recursion optimization" },
{ X("no-tail-rec"), &firm_opt.tail_rec, 0, "firm: disable tail-recursion optimization" },
{ X("strength-red"), &firm_opt.strength_red, 1, "firm: enable strength reduction for loops" },
{ X("tail-rec"), &firm_opt.tail_rec, 1, "firm: enable tail-recursion optimization" },
{ X("no-tail-rec"), &firm_opt.tail_rec, 0, "firm: disable tail-recursion optimization" },
{ X("strength-red"), &firm_opt.strength_red, 1, "firm: enable strength reduction for loops" },