(_, _) -> _

push 0
# lte impl
swap 2
dup 1
dup 1
eq
swap 3
pop 1
lt
add
pop_count

# not impl
push 4294967295
xor
push 1
add
split
pop 1

return