let
descr =
"give an option to Jc (e.g., -trust-ai)"