push (const id)
name_1:
| push ((flip ($)) () . (const id . (flip ($)) ()))
| name_4:
| | catch
| |   <try>
| |   | push ((.) . ((.) ((flip ($)) id) . const) id)
| |   | read
| |   | lift ($)
| |   | call name_4
| |   | lift ($)
| |   | commit
| |   | ret
| |   <handler>
| |     tell
| |     lift InstrPureSameOffset
| |     choices [id]
| |       <branch>
| |       | push id
| |       | ret
| |       <default>
| |         fail
| call name_4
| lift ($)
| ret
call name_1
lift ($)
name_2:
| push ((flip ($)) Haskell)
| name_3:
| | catch
| |   <try>
| |   | tell
| |   | read
| |   | swap
| |   | seek
| |   | choices [(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell),(== Haskell)]
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_1
| |   |   | lift ($)
| |   |   | call name_3
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_1
| |   |   | lift ($)
| |   |   | call name_3
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_1
| |   |   | lift ($)
| |   |   | call name_3
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_1
| |   |   | lift ($)
| |   |   | call name_3
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_1
| |   |   | lift ($)
| |   |   | call name_3
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) (.) . ((.) cons . (const . const Haskell)))
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_1
| |   |   | lift ($)
| |   |   | call name_3
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <branch>
| |   |   | push ((.) ((.) ((.) ((.) (.)))) . ((.) ((.) ((.) ((.) cons))) . ((.) ((.) ((.) const)) . ((.) ((.) ((flip ($)) (const Haskell))) . ((.) ((.) (.)) . ((.) ((.) const) . ((.) ((flip ($)) Haskell) . ((.) (.) . ((.) (const id) . const)))))))))
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_1
| |   |   | lift ($)
| |   |   | call name_2
| |   |   | lift ($)
| |   |   | read
| |   |   | lift ($)
| |   |   | call name_1
| |   |   | lift ($)
| |   |   | call name_3
| |   |   | lift ($)
| |   |   | commit
| |   |   | ret
| |   |   <default>
| |   |     fail
| |   <handler>
| |     tell
| |     lift InstrPureSameOffset
| |     choices [id]
| |       <branch>
| |       | push id
| |       | ret
| |       <default>
| |         fail
| call name_3
| lift ($)
| ret
call name_2
lift ($)
ret