int ltz(int x) { return x<0; } int ltez(int x) { return x<=0; } int gtz(int x) { return x>0; } int gtez(int x) { return x>=0; } int lt(int x, int y) { return x<y; } int lte(int x, int y) { return x<=y; } int gt(int x, int y) { return x>y; } int gte(int x, int y) { return x>=y; } int lt64(long long x, long long y) { return x<y; } int ltz64(long long x) { return x<0; }