HelenOS sources

_saturating_add   207 common/printf/printf_core.c 	_saturating_add(written_bytes, n);
_saturating_add   207 kernel/generic/common/printf/printf_core.c 	_saturating_add(written_bytes, n);
_saturating_add   207 uspace/lib/c/common/printf/printf_core.c 	_saturating_add(written_bytes, n);