external set_num_refinements : int -> unit = "icsat_set_num_refinements"