@@
expression A;
expression B;
@@
(
- A < 0 || A >= B
+ (size_t) A >= (size_t) B
|
- A >= 0 && A < B
+ (size_t) A < (size_t) B
)