external set_sample_ratio : t -> float -> unit =
      "simplifier_set_sample_ratio"