push ((.) ((.) (.)) . ((.) ((.) (.)) . (.) ((.) (const id))))
name_2:
| push (const id)
| ret
call name_2
lift ($)
name_5:
| name_6:
| | push (const id)
| | ret
| call name_6
| name_7:
| | push (const id)
| | call name_5
| | lift ($)
| | call name_7
| | lift ($)
| | ret
| call name_7
| lift ($)
| call name_5
| lift ($)
| ret
call name_5
lift ($)
name_3:
| push ()
| ret
call name_3
lift ($)
call name_2
lift ($)
name_1:
| call name_6
| name_4:
| | push (const id)
| | call name_1
| | lift ($)
| | call name_4
| | lift ($)
| | ret
| call name_4
| lift ($)
| call name_1
| lift ($)
| ret
call name_1
lift ($)
call name_3
lift ($)
ret