let
descr =
"do <n> loop iterations before widening (defaults to 3)"