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