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