S x
   0
      foo()
   1
      bar()
   E
      baz()