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