let cp_random_synchronism = new option_cp int_wrappers ~group ["random_seeds";"synchronism"] ~short_name:"rs" (Some 0)
  "If empty (random_seed = \"None\"), creates a fresh random seed at each execution."