external set_maximum_length : t -> float -> unit =
      "simplifier_set_maximum_length"