push (const id)
name_1:
| push ()
| ret
call name_1
lift ($)
call name_1
lift ($)
ret