external set_polarity_optimization : bool -> unit = "icsat_set_polarity_optimization"