(_, _) -> _

eq
assert
push 0

return