I x == 0
   foo()
E I x == 1
   bar()
E
   baz()