int f() { return z?0:1; }