Fun compiler fact: both GCC and clang rewrite x < C to x <= C-1 (for integers) as C-1 may require fewer bits to represent.