assertNoOverflow1.v