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