Check two unsigned integers to determine if X!=Y
If not X!=Y, the test fails.
Note that if the check fails, the remaining of the test is aborted
unsigned signed integer
unsigned signed integer to compare against X