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