assertNoOverflow2.v