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