@@
@@

-f();
... when != false foo()
-g();