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