int x = 9;
assert (x < 5);