() -> _
push 0
assert

return