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