external set_do_tri_strip : t -> bool -> unit =
      "simplifier_set_do_tri_strip"