saveint() comes with check_mk