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