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