test/Golden/Machine/a-or-b.dump

   1 catchFail
   2   <try>
   3   | push (const 'a')
   4   | read
   5   | lift ($)
   6   | popFail
   7   | ret
   8   <handler>
   9     pushInput
  10     lift Pure
  11     choices [id]
  12       <branch>
  13       | push (const 'b')
  14       | read
  15       | lift ($)
  16       | ret
  17       <default>
  18         fail