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 xy; } int gte(int x, int y) { return x>=y; } int lt64(long long x, long long y) { return x