pub unsafe extern "C" fn boolector_print_stats(btor: *mut Btor)