let
help =
Printf
.sprintf
"Number of parallel proof process (default %d)"
default