external set_verbose : bool -> unit = "icsat_set_verbose"