push ((.) ((flip ($)) (const id)) . ((.) (.) . ((.) (.) . ((.) (const id) . const id))))
let_3:
| push (const id)
| let_5:
| | push (const id)
| | call let_3
| | lift ($)
| | call let_5
| | lift ($)
| | ret
| call let_5
| lift ($)
| call let_3
| lift ($)
| ret
call let_3
lift ($)
let_1:
| push ()
| ret
call let_1
lift ($)
let_2:
| push (const id)
| let_4:
| | push (const id)
| | call let_2
| | lift ($)
| | call let_4
| | lift ($)
| | ret
| call let_4
| lift ($)
| call let_2
| lift ($)
| ret
call let_2
lift ($)
call let_1
lift ($)
ret