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