saturated_add     173 src/profiler.c 	EMACS_INT new_val = saturated_add (old_val, count);
saturated_add     245 src/profiler.c     cpu_gc_count = saturated_add (cpu_gc_count, 1);