let descr =
         "use <n> as number of path to explore in parallel (defaults to 0)"