Given that ord() of a bytes object of length 1 is defined, it should

never return a negative number.