int ge(int x, int y) { return (x >= y); }