int_succ