external set_validate_counter_example : bool -> unit = "icsat_set_validate_counter_example"