rewrote inc_integer