int x = 2;
assert(x>=1);