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