Correction to assert statemtent to allow 32-bit unsigned numbers with the top bit...